Vérification - réparation - élimination, cette recherche évolutive est bien plus intelligente que la simple accumulation de paramètres, le résultat MiniMax-M3 peut vraiment rivaliser.

Voir l'original
CoinNetwork
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
CoinWorld消息,MaxProof已开源并发布技术论文,面向大模型数学证明的测试框架。它把推理阶段的证明改造为演化搜索系统,靠验证、修复、淘汰实现推理扩展。在该框架下,MiniMax-M3于IMO 2025与USAMO 2026测试集分别得分35、36,达金牌线,证明能力因生成、验证、修复三能力融合而更稳健。
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é