MiniMax开源数学证明框架MaxProof,以演化搜索将M3推上金牌线

robot
摘要生成中
币界网消息,MiniMax开发者关系负责人Ryan Lee宣布,面向大模型数学证明的测试时扩展框架MaxProof已正式开源,并发布了配套技术论文。MaxProof将推理阶段的数学证明重构为演化搜索系统,通过验证、修复与淘汰机制实现推理时缩放。在MaxProof框架的支撑下,MiniMax-M3模型在国际奥林匹克数学竞赛(IMO 2025)与美国数学奥林匹克(USAMO 2026)测试集上分别取得35分与36分(满分42分),双双达到金牌分数线。该框架通过融合生成、验证与修复三大专家能力,构建了多层级防御的验证机制,成功将模型在数学证明上的最佳能力转化为更稳定的表现。
此页面可能包含第三方内容,仅供参考(非陈述/保证),不应被视为 Gate 认可其观点表述,也不得被视为财务或专业建议。详见声明
  • 赞赏
  • 4
  • 2
  • 分享
评论
请输入评论内容
请输入评论内容
LateFeeLeo
· 4小时前
技术论文链接有吗?想重点看看修复策略的消融实验
回复0
倒影街角
· 4小时前
演化搜索+三能力融合这个思路有意思,感觉比纯堆采样效率高多了,省算力啊
回复0
QuantsAndCats
· 4小时前
MiniMax-M3这成绩确实能打,但IMO金牌线每年浮动,2025的数据等官方release再香槟
回复0
SlippageSailor
· 4小时前
开源了?这就去扒代码看看验证模块怎么设计的
回复0