Pagar com

USD

Comprar e vender

Visa, Mastercard, SEPA e mais

Negociação flexível e sem taxas

Use criptomoedas para pagar pelo mundo

Básico

Negociação à Vista

Negoceie criptomoedas livremente

Aumente o seu lucro com a alavancagem

Converter/Investir

Opere qualquer volume sem tarifas nem derrapagem

Obtenha exposição a posições alavancadas de uma forma simples

Negociação Pré-Mercado

Negoceie novos tokens pré-listagem

Avançado

Negociar on-chain com a Gate Wallet

Acesso smart a novos tokens on-chain

Estratégias smart e negociação autom.

Siga estratégias de peritos

Negociação CrossEx

Um saldo de margem, partilhado entre plataformas

Aceda a centenas de contratos perpétuos

Plataforma de ativos tradicionais globais

Negoceie Opções Vanilla ao estilo europeu

Conta Unificada

Maximize a eficiência do seu capital

Negociação de demonstração

Introdução à negociação de futuros

Prepare-se para a sua negociação de futuros

Eventos de futuros

Participe em eventos para recompensas

Negociação de demonstração

Utilize fundos virtuais para experimentar uma negociação sem riscos

Derivados CFD de ações dos EUA

Ações dos EUA

Aceder a ações e ETF reais dos EUA

Ações de Hong Kong

Negociar ações de qualidade cotadas em Hong Kong

Ações coreanas

Negoceie ações coreanas reais e invista em ativos populares

Futuros de ações

Alta alavancagem, negociação 24/7

Ações tokenizadas

Garantido por ativos de ações reais

Desbloquear acesso completo a IPO de ações globais

Cunhe GUSD para rendimentos de RWA do Tesouro

Atividades de ações

Negociar ações populares e desbloquear airdrops generosos

Lançamento

Recolher doces para ganhar airdrops

Faça staking rapidamente, ganhe potenciais novos tokens

Detenha GT e obtenha airdrops maciços de graça

Desbloquear acesso completo a IPO de ações globais

Negoceie ativos on-chain para airdrops

Pontos de futuros

Ganhe pontos de futuros e receba recompensas de airdrop

Investimento

Ganhe juros com tokens inativos

Investimento automático

Invista automaticamente de forma regular.

Investimento Duplo

Aproveite a volatilidade do mercado

Ganhe recompensas com staking flexível

Empréstimo de criptomoedas

Dê em garantia uma criptomoeda para pedir outra emprestada

Centro de empréstimos

Centro de empréstimos integrado

Centro de Património VIP

Aumento de património premium

Assuma o controle do seu futuro financeiro

Estratégias quant de topo

Faça staking de criptomoedas para ganhar em produtos PoS

Alavancagem inteligente

Alavancagem sem liquidação

Stake em 1 clique, ganhos diários

Descubra valor em cripto

Análise de mercado cripto em tempo real

Converse com os operadores cripto

O que está a acontecer na criptografia

Mais

Promoções

Centro de atividades

Participe de atividades para recompensas

Convide amigos para recompensas de ref.

Programa de afiliados

Ganhe recomp. de comissão exclusivas

Aumente a influência e ganhe airdrops

Atualizações na plataforma em tempo real

Artigos da indústria cripto

Enormes descontos nas taxas

Gestão de ativos

Solução integral para a gestão de ativos

Soluções de ativos digitais para empresas

Desenvolvedores (API)

Conecta-se ao ecossistema de aplicações Gate

Transferência Bancária OTC

Deposite e levante moeda fiduciária

Programa de corretora

Mecanismo generoso de reembolso de API

AI

O seu parceiro de IA conversacional tudo-em-um

Utilize o Gate AI diretamente na sua aplicação social

Gate Lagosta Azul, pronto a usar

Gate for AI Agent

Infraestrutura de IA, Gate MCP, Skills e CLI

Gate Skills Hub

Mais de 10 mil competências

Do escritório à negociação, uma biblioteca de competências tudo-em-um torna a IA ainda mais útil

Outros

Central de Ajuda

Encontre Perguntas Frequentes e guias de ajuda

Aprenda a investir em criptomoedas

Cresça com os campeões

Comprovativo de Reservas

A Gate promete 100% de prova de reservas

Mantenha os seus ativos seguros

Leanstral 1.5: Abundância de provas para todos

2026-07-03 16:37:10

Geração de resumo em curso

ME AI mensagem, a Mistral AI lançou hoje o Leanstral 1.5, um modelo de verificação formal de código aberto licenciado sob Apache-2.0, com 119B de parâmetros totais e apenas 6B ativos. Alcançou 100% de saturação no miniF2F, resolveu 587/672 problemas no PutnamBench, e obteve SOTA no FATE-H (87%) e FATE-X (34%). O treino incluiu mid-training, SFT e aprendizagem por reforço baseada em CISPO. Possui capacidade de prova agêntica, tendo descoberto 5 bugs desconhecidos em 57 repositórios de código aberto. O modelo já está disponível através do HuggingFace e de uma API gratuita. 🔗 Ler o original:

Ver original

Esta página pode conter conteúdos de terceiros, que são fornecidos apenas para fins informativos (sem representações/garantias) e não devem ser considerados como uma aprovação dos seus pontos de vista pela Gate, nem como aconselhamento financeiro ou profissional. Consulte a Declaração de exoneração de responsabilidade para obter mais informações.

Recompensa
gostar
Comentar
Republicar
Partilhar

Comentar

Adicionar um comentário

Adicionar um comentário

Nenhum comentário

Tópicos em destaque
Ver mais
#
gStocksTokenizedStocksLive
4,5M Popularidade
#
StrongNonfarmPayrollsRekindleRateHikeFear
1,03M Popularidade
#
IsraelStrikesIranBTCPlunges
67,85K Popularidade
#
PredictWorldCupShare20000U
191,96K Popularidade
#
ETHBreaks1700
152,55M Popularidade

Fixado