最重要★★★★★Hugging Face Papers
Nemotron 3 Ultra、IMO 2026で30/42点の金メダル水準
30秒で把握
- 1Nemotron 3 Ultra が IMO 2026 で 30/42 点を獲得し金メダル基準に到達
- 2SFT と強化学習で 2 専門チェックポイントを訓練し証明を反復検証
- 3外部ツールなしの自然言語推論コードと 200 問ベンチマークを公開
要約
Nemotron 3 Ultraを追加学習した自然言語の証明生成システムが、IMO 2026で42点中30点を獲得し、金メダル基準に達した。教師ありファインチューニングと強化学習で2種類の専門チェックポイントを作成し、証明の生成・検証・改善を反復する推論パイプラインを構築した。形式証明器や外部ツール、インターネット接続は使わず、汎用モデルと2種類の専門モデルを組み合わせて最終解答を選ぶ。追加学習済みチェックポイント、訓練データ、訓練・推論コード、提出解答、200問のベンチマークを公開した。
あなたへの影響
数学推論モデルを評価するチームは、公開されたチェックポイントとコードを使い、証明の検証・改善を含む推論構成を近日中に再現評価するとよい。
推奨：IMO-ベンチマークは未公開のオリンピック水準問題200問で構成される。