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
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

MiniMax cadre de preuve mathématique open source MaxProof, utilisant la recherche évolutive pour pousser M3 au-delà de la ligne de médaille d'or

CoinNetwork
robot
Création du résumé en cours
CoinWorld消息，MiniMax开发者关系负责人Ryan Lee宣布，面向大模型数学证明的测试时扩展框架MaxProof已正式开源，并发布了配套技术论文。MaxProof将推理阶段的数学证明重构为演化搜索系统，通过验证、修复与淘汰机制实现推理时缩放。在MaxProof框架的支撑下，MiniMax-M3模型在国际奥林匹克数学竞赛（IMO 2025）与美国数学奥林匹克（USAMO 2026）测试集上分别取得35分与36分（满分42分），双双达到金牌分数线。该框架通过融合生成、验证与修复三大专家能力，构建了多层级防御的验证机制，成功将模型在数学证明上的最佳能力转化为更稳定的表现。
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
  • 4
  • 2
  • Partager
Commentaire
Ajouter un commentaire
Ajouter un commentaire
LateFeeLeo
· Il y a 8h
Avez-vous un lien vers l'article technique ? Je souhaite principalement examiner l'expérience d'ablation des stratégies de correction.
Voir l'originalRépondre0
ReflectionsOnTheStreetCorner
· Il y a 8h
L'idée de combiner la recherche évolutive avec la fusion des trois capacités est intéressante, on a l'impression que c'est beaucoup plus efficace que le simple échantillonnage, ça économise de la puissance de calcul.
Voir l'originalRépondre0
QuantsAndCats
· Il y a 8h
MiniMax-M3, ces résultats sont vraiment compétitifs, mais la ligne de médaille d'or de l'IMO fluctue chaque année, les données de 2025 seront plus savoureuses après leur publication officielle.
Voir l'originalRépondre0
SlippageSailor
· Il y a 8h
Open source ? Je vais aller fouiller le code pour voir comment le module de validation est conçu.
Voir l'originalRépondre0

  • Épinglé

plan du site