MiniMax開源數學證明框架MaxProof,以演化搜索將M3推上金牌線

robot
摘要生成中
幣界網消息,MiniMax開發者關係負責人Ryan Lee宣布,面向大模型數學證明的測試時擴展框架MaxProof已正式開源,並發布了配套技術論文。MaxProof將推理階段的數學證明重構為演化搜索系統,通過驗證、修復與淘汰機制實現推理時縮放。在MaxProof框架的支撐下,MiniMax-M3模型在國際奧林匹克數學競賽(IMO 2025)與美國數學奧林匹克(USAMO 2026)測試集上分別取得35分與36分(滿分42分),雙雙達到金牌分數線。該框架通過融合生成、驗證與修復三大專家能力,構建了多層級防禦的驗證機制,成功將模型在數學證明上的最佳能力轉化為更穩定的表現。
查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 打賞
  • 4
  • 2
  • 分享
回覆
請輸入回覆內容
請輸入回覆內容
LateFeeLeo
· 3小時前
技術論文連結有嗎?想重點看看修復策略的消融實驗
查看原文回復0
倒影街角
· 3小時前
演化搜索+三能力融合這個思路很有趣,感覺比純粹堆采樣效率高多了,省算力啊
查看原文回復0
QuantsAndCats
· 3小時前
MiniMax-M3這成績確實能打,但IMO金牌線每年浮動,2025的數據等官方發布再香檳
查看原文回復0
SlippageSailor
· 3小時前
開源了?這就去扒代碼看看驗證模塊怎麼設計的
查看原文回復0