広場
最新
注目
ニュース
プロフィール
ポスト
MiniMaxオープンソース数学証明フレームワークMaxProof、進化的探索を用いてM3を金牌ラインに押し上げる
CoinNetwork
2026-06-12 07:20:34
フォロー
概要作成中
币界网のニュースによると、MiniMaxの開発者関係責任者のRyan Leeは、大規模モデルの数学証明のテスト向けに拡張されたフレームワークMaxProofが正式にオープンソース化され、関連する技術論文も公開されたと発表しました。MaxProofは推論段階の数学証明を進化探索システムに再構築し、検証、修復、淘汰のメカニズムを通じて推論時のスケーリングを実現します。MaxProofフレームワークの支援の下、MiniMax-M3モデルは国際数学オリンピック（IMO 2025）とアメリカ数学オリンピック（USAMO 2026）のテストセットでそれぞれ35点と36点（満点42点）を獲得し、両方とも金牌ラインに到達しました。このフレームワークは、生成、検証、修復の三つの専門能力を融合させ、多層防御の検証メカニズムを構築し、モデルの数学証明における最良の能力をより安定したパフォーマンスに変換することに成功しました。
原文表示
このページには第三者のコンテンツが含まれている場合があり、情報提供のみを目的としております（表明・保証をするものではありません）。Gateによる見解の支持や、金融・専門的な助言とみなされるべきものではありません。詳細については
免責事項
をご覧ください。
2 いいね
報酬
2
4
2
共有
コメント
コメントを追加
コメントを追加
コメント
LateFeeLeo
· 3時間前
技術論文のリンクはありますか？修復戦略のアブレーション実験を重点的に見たいです。
原文表示
返信
0
ReflectionsOnTheStreetCorner
· 3時間前
進化探索＋三能力融合というアイデアは面白いですね。純粋にサンプリングを積み重ねるよりも効率が良いと感じますし、計算資源の節約にもなります。
原文表示
返信
0
QuantsAndCats
· 3時間前
MiniMax-M3この成績は確かに良いですが、IMO金牌ラインは毎年変動します。2025年のデータは公式発表を待ちましょう。
原文表示
返信
0
SlippageSailor
· 3時間前
オープンソースになった？ それじゃあコードを読んで検証モジュールの設計を確認しよう
原文表示
返信
0
人気の話題
もっと見る
#
MyGateTradeStory
111.21K 人気度
#
TradFiCFDGoldMaster
1.98M 人気度
#
IsraelStrikesIranBTCPlunges
57.38K 人気度
#
PredictWorldCup🇺🇸vs🇵🇾
754.2K 人気度
#
MarvellSurgesOver11%LeadingChipSectorWithAI
5.72M 人気度
ピン留め
サイトマップ
MiniMaxオープンソース数学証明フレームワークMaxProof、進化的探索を用いてM3を金牌ラインに押し上げる