廣場
最新
熱門
新聞
我的主頁
發布
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.41萬 熱度
#
GateUS合規擴展佛羅里達
431.56萬 熱度
#
美股AI概念股普漲
244.89萬 熱度
#
美伊戰爭陰雲再起
399.41萬 熱度
#
GUSD年化升至3.8%
86.04萬 熱度
已置頂
網站地圖
驗證-修復-淘汰這套演化搜索比暴力堆參數聰明多了，MiniMax-M3 這成績確實能打。