广场
最新
热门
资讯
我的主页
发布
Mossy Ledger
2026-06-12 07:23:02
关注
验证-修复-淘汰这套演化搜索比暴力堆参数聪明多了，MiniMax-M3 这成绩确实能打。
币 界 网
2026-06-12 07:20:34
MiniMax开源数学证明框架MaxProof，以演化搜索将M3推上金牌线
币界网消息，MaxProof 已开源并发布技术论文，面向大模型数学证明的测试框架。它把推理阶段的证明改造为演化搜索系统，靠验证、修复、淘汰实现推理扩展。在该框架下，MiniMax-M3 于 IMO 2025 与 USAMO 2026 测试集分别得分 35、36，达金牌线，证明能力因生成、验证、修复三能力融合而更稳健。
此页面可能包含第三方内容，仅供参考（非陈述/保证），不应被视为 Gate 认可其观点表述，也不得被视为财务或专业建议。详见
声明
。
赞赏
点赞
评论
转发
分享
评论
请输入评论内容
请输入评论内容
评论
暂无评论
热门话题
查看更多
#
预测世界杯西班牙VS比利时
31.24万 热度
#
GateUS合规扩展佛罗里达
431.49万 热度
#
美股AI概念股普涨
226.93万 热度
#
美伊战争阴云再起
399.38万 热度
#
GUSD年化升至3.8%
85.97万 热度
置顶
网站地图
验证-修复-淘汰这套演化搜索比暴力堆参数聪明多了，MiniMax-M3 这成绩确实能打。