Acheter Cryptos
Payer en
USD
USD
Acheter & Vendre
Hot
Visa, Mastercard, SEPA et bien plus
P2P
0 Fees
Trading flexible, zéro frais
Gate Card
Payez partout avec vos cryptos
Marchés
Trader
Basique
Avancé
Futures
Futures
Accédez à des centaines de contrats perpétuels
CFD
Or
Une plateforme pour les actifs mondiaux
Options
Hot
Tradez des options classiques de style européen
Compte unifié
Maximiser l'efficacité de votre capital
Trading démo
Introduction au trading futures
Préparez-vous à trader des contrats futurs
Événements futures
Participez aux événements et gagnez
Demo Trading
Utiliser des fonds virtuels pour faire l'expérience du trading sans risque
Stocks
CFD
Produits dérivés CFD sur actions américaines
US Stocks
Accédez à de véritables actions et ETF américains
HK Stocks
Tradez des actions des actions de qualité cotées à Hong Kong
Actions coréennes
SK Hynix
Tradez de véritables actions coréennes et investissez dans les actifs les plus populaires
Futures sur actions
Effet de levier élevé, trading 24h/24 et 7j/7
Actions tokenisées
Adossé à de véritables actions
IPO Access
Accédez à l'intégralité des introductions en bourse mondiales
GUSD
Mint GUSD pour des rendements de Treasury RWA
Activités boursières
Tradez des actions populaires et débloquez des airdrops généreux
Earn
Lancer
CandyDrop
Collecte des candies pour obtenir des airdrops
Launchpool
Staking rapide, Gagnez de potentiels nouveaux jetons
HODLer Airdrop
Conservez des GT et recevez d'énormes airdrops gratuitement
IPO Access
Accédez à l'intégralité des introductions en bourse mondiales
Points Alpha
Tradez on-chain et gagnez des airdrops
Points Futures
Gagnez des points Futures et réclamez vos récompenses d’airdrop.
Investissement
Square
Square
Découvrir la valeur en crypto
Live
moments live
Analyse en temps réel du marché des cryptomonnaies
Discussion
Discutez avec des traders de cryptomonnaies
Actualités
Ce qu'il se passe dans le monde de la crypto
flower_head
Plus
Promotions
AI
Autres
TradFi
2026 World Cup
Récompenses
Posts
Plus récents
Populaire
Actualités
Profil

Les coûts de preuve de théorème commencent à augmenter : Mistral publie Leanstral 1.5 open source, environ $4 par problème

AirdropBlackHole
Selon la surveillance de Dongcha Beating, Mistral AI a publié Leanstral 1.5, un modèle conçu pour les preuves formelles dans Lean 4. Le modèle compte un total de 119 milliards de paramètres, dont environ 6,5 milliards de paramètres actifs, et est sous licence Apache-2.0, offrant un accès gratuit à l'API. Les évaluations officielles montrent que Leanstral 1.5 a résolu 587 problèmes sur 672 dans le cadre de PutnamBench ; il a obtenu 87 % et 34 % respectivement sur les benchmarks d'algèbre abstraite FATE-H et FATE-X, établissant de nouveaux records de performance parmi les modèles similaires. Le coût moyen par problème pour Leanstral 1.5 sur PutnamBench est d'environ 4 $, bien inférieur aux coûts de plusieurs systèmes précédents, qui allaient de dizaines à des centaines de dollars. À mesure que le budget de tokens par problème augmente, le nombre de problèmes qu'il peut résoudre continue de croître ; dans la preuve de complexité des arbres AVL, le modèle a complété la preuve pertinente après avoir raisonné sur plus de 2,7 millions de tokens et 22 compressions de contexte. En plus des preuves mathématiques, Leanstral 1.5 a également été utilisé pour la vérification de code. L'équipe a découvert 11 bugs réels dans 57 dépôts Rust open source, dont cinq n'avaient pas été signalés auparavant.
Voir l'original
Cette page peut inclure du contenu de tiers fourni à des fins d'information uniquement. Gate ne garantit ni l'exactitude ni la validité de ces contenus, n’endosse pas les opinions exprimées, et ne fournit aucun conseil financier ou professionnel à travers ces informations. Voir la section Avertissement pour plus de détails.
  • Récompense
  • Commentaire
  • Reposter
  • Partager
Commentaire
Ajouter un commentaire
Ajouter un commentaire
Aucun commentaire

  • Épinglé

plan du site