広場
最新
注目
ニュース
プロフィール
ポスト
MossyLedger
2026-06-12 07:23:02
フォロー
検証-修正-淘汰のこの進化的探索は、暴力的にパラメータを積み重ねるよりもずっと賢明であり、MiniMax-M3のこの成績は確かに優れている。
原文表示
CoinNetwork
2026-06-12 07:20:34
MiniMaxオープンソース数学証明フレームワークMaxProof、進化的探索を用いてM3を金牌ラインに押し上げる
币界网消息，MaxProof 已开源并发布技术论文，面向大模型数学证明的测试框架。
它把推理阶段的证明改造为演化搜索系统，靠验证、修复、淘汰实现推理扩展。
在该框架下，MiniMax-M3 于 IMO 2025 与 USAMO 2026 测试集分别得分 35、36，达金牌线，证明能力因生成、验证、修复三能力融合而更稳健。
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております（表明・保証をするものではありません）。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については
免責事項
をご覧ください。
報酬
いいね
コメント
リポスト
共有
コメント
コメントを追加
コメントを追加
コメント
コメントなし
人気の話題
もっと見る
#
PredictWorldCupShare20000U
318.58K 人気度
#
IsraelStrikesIranBTCPlunges
71.05K 人気度
#
USIranWarCloudsGather
3.99M 人気度
#
GUSDYieldRisesto3.8%
860.62K 人気度
#
WorldCupChampionPrediction
181.21K 人気度
ピン留め
サイトマップ
検証-修正-淘汰のこの進化的探索は、暴力的にパラメータを積み重ねるよりもずっと賢明であり、MiniMax-M3のこの成績は確かに優れている。
它把推理阶段的证明改造为演化搜索系统，靠验证、修复、淘汰实现推理扩展。
在该框架下，MiniMax-M3 于 IMO 2025 与 USAMO 2026 测试集分别得分 35、36，达金牌线，证明能力因生成、验证、修复三能力融合而更稳健。