Pagar com

USD

Visa, Mastercard, SEPA e mais

Negociação flexível e sem taxas

Cartão da Gate

Pague com criptomoedas no mundo todo

Empréstimo P2P

Aumente sua riqueza em investimentos fiat

Básico

Negocie criptomoedas livremente

Amplie seu lucro com alavancagem

Convert & Auto-Invest

Trade any size with no fees and no slippage

Exposição para posições alavancadas de forma simples

Negociação pré-mercado

Negocie novos tokens pré-listagem

Avançado

Negocie on-chain com a Gate Wallet

Acesso inteligente a novos tokens on-chain

Estratégias smart e negociação automática

Siga estratégias de especialistas

Negociação CrossEx

Um único saldo de margem, compartilhado entre as plataformas

Acesse centenas de contratos perpétuos

Plataforma única para ativos tradicionais globais

Negocie opções vanilla no estilo europeu

Conta unificada

Maximize sua eficiência de capital

Negociação demo

Introdução à negociação de futuros

Prepare-se para sua negociação de futuros

Eventos de futuros

Participe de eventos e ganhe recompensas

Negociação demo

Use fundos virtuais para experimentar negociações sem riscos

Derivativos de CFD sobre ações

Ações dos EUA

Acesse ações e ETFs reais dos EUA

Ações de Hong Kong

Negocie ações de qualidade listadas em Hong Kong

Ações da Coreia

Negocie ações da Coreia reais e invista em ativos populares

Futuros de ações

Alta alavancagem, negociação 24/7

Ações tokenizadas

Respaldado por ativos de ações reais

Desbloqueie o acesso completo a IPO de ações globais

Cunhe GUSD para rendimentos de RWA do Tesouro

Atividades de ações

Negocie ações populares e desbloqueie airdrops generosos

Lançamento

Colete candies para ganhar airdrops

Staking rápido, ganhe novos tokens em potencial

Possua GT em hold e ganhe airdrops massivos de graça

Desbloqueie o acesso completo a IPO de ações globais

Negocie on-chain e receba airdrops

Pontos de futuros

Ganhe pontos de futuros e colete recompensas em airdrop

Investimento

Ganhe juros com tokens ociosos

Autoinvestimento

Invista automaticamente regularmente

Investimento duplo

Lucre com a volatilidade do mercado

Ganhe recompensas com stakings flexíveis

Empréstimo de criptomoedas

Penhore uma criptomoeda para pegar outra emprestado

Centro de empréstimos

Centro de empréstimos integrado

Centro de riqueza VIP

Planos premium de crescimento de patrimônio

Assuma o controle do seu futuro financeiro

Fundo Quantitativo

Estratégias quant de alto nível

Faça staking de criptomoedas para ganhar em produtos PoS

Alavancagem Inteligente

Alavancagem sem liquidação

Deposite e resgate a qualquer momento, sem taxas

Descubra o valor em criptografia

Análise de mercado de criptomoedas ao vivo

Converse com os traders de criptomoedas

Novidades sobre criptomoedas

Mais

Promoções

Centro de atividade

Participe de atividades e ganhe recompensas

Convide amigos para recompensas de ind.

Programa de afiliados

Ganhe recomp. de comissão exclusivas

Aumente a influência e ganhe airdrops

Atualizações na plataforma em tempo real

Artigos do setor de criptomoedas

Grandes Descontos nas Taxas

Gerenciamento de ativos

Solução completa de gerenciamento de ativos

Soluções de ativos digitais para empresas

Desenvolvedores (API)

Conecta-se ao ecossistema de aplicativos da Gate

Transferência Bancária OTC

Deposite e retire moedas fiat

Programa de corretoras

Mecanismos de grandes descontos via API

AI

Seu parceiro de IA conversacional para todas as horas

Use o Gate AI diretamente no seu aplicativo social

Gate Blue Lobster, pronto para usar

Gate for AI Agent

Infraestrutura de IA, Gate MCP, Skills e CLI

Gate Skills Hub

10K+ habilidades

Do escritório à negociação: um hub completo de habilidades para turbinar o uso da IA

Outros

Central de Ajuda

Encontre perguntas frequentes e guias de ajuda

Saiba mais sobre o investimento em criptomoedas

Cresça com os campeões

Comprovante de Reservas

Gate promete 100% de comprovação de reservas

Mantenha seus ativos seguros

Vitalik propõe uma nova “linguagem de prova de legibilidade” para ajudar humanos a entender provas formais geradas por IA

Notícias do setor de IA

2026-07-21 15:28:02

ETH1,39%

Hoje (21 de julho), o cofundador da Ethereum, Vitalik Buterin, propôs a criação de uma nova linguagem de programação de alto nível que compila para sistemas formais de prova como Lean e HOL, otimizando a legibilidade de definições e teoremas em vez dos próprios processos de prova. Segundo a PANews, Buterin afirmou que a linguagem tem como objetivo ajudar os humanos a entender de forma clara o que as grandes provas formais em escala geradas por IA demonstram matematicamente e logicamente, permitindo que os leitores auditem e verifiquem com mais facilidade as alegações específicas apresentadas pela IA.

Isenção de responsabilidade: as informações nesta página podem ter origem em fontes terceiras e servem apenas como referência. Não representam as opiniões da Gate e não constituem orientação financeira, de investimentos ou jurídica. A negociação de ativos virtuais envolve alto risco. Não tome decisões baseando-se apenas nas informações desta página. Para mais detalhes, consulte a Isenção de responsabilidade.

Notícias relacionadas

Aztec lança a camada de execução v5 (alpha) com otimizações criptográficas para fornecer ZK no lado do cliente

O cofundador da NEAR recomenda verificação formal contra ataques assistidos por IA; a rede liberará chaves de conta resistentes a ataques quânticos em 21 de jul.

Novogratz recentemente elogiou Vitalik Buterin como um “herói do cripto” e alertou que a queda na atividade está prejudicando o ETH

Vitalik Buterin lança uma demo de um mural de mensagens anônimo no Aztec com moderação on-chain

Análise aprofundada

A Aztec lança a versão V5 Alpha com provas no lado do cliente para transações privadas de Ethereum

Ethan Brooks4h atrás

Cofundador da NEAR: invasões com auxílio de IA superam revisões tradicionais de código

Ethan Brooks23h atrás

Comentário

0/400

Sem comentários