ひっそり登場の中国AI「Seed-Prover」、国際数学オリンピックで「金メダル」　さくっとGoogleを抜く

ひっそり登場の中国AI「Seed-Prover」、国際数学オリンピックで「金メダル」　さくっとGoogleを抜く - 数学の勉強掲示板

0名前を書き忘れた受験生

2025/08/20 17:10 　499view

ひっそり登場の中国AI「Seed-Prover」、国際数学オリンピックで「金メダル」　さくっとGoogleを抜く

中国ByteDanceに所属する研究者らが発表した論文「Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving」は、国際数学オリンピック（IMO）で金メダル相当のパフォーマンスを獲得したAI推論モデル「Seed-Prover」を提案した研究報告だ。

　AIにおける数学レベルを評価する場合、国際数学オリンピックが用いられるケースが多い。2月には、Google DeepMindが開発したAIシステム「AlphaGeometry2」（AG2）が幾何学問題で金メダル相当を獲得した。またOpenAIも7月、2025年国際数学オリンピックで金メダルレベルのパフォーマンスを達成したと報告している。

　今回提案された自動定理証明システム「Seed-Prover」は、2025年国際数学オリンピックで6問中5問の完全証明に成功し、人間の金メダリストに匹敵する実力を示した。2025年だけでなく、過去の国際数学オリンピック問題においても78.1％という高い証明成功率を達成している。

　標準的なベンチマークテストでも卓越した性能を発揮している。形式的数学オリンピック問題集である「MiniF2F」では、検証セットで100％、テストセットで99.6％という、ほぼ完璧な成績を記録。これは従来の最高記録92.2％を大きく上回る結果だ。

ITmedia
https://www.itmedia.co.jp/aiplus/articles/2508/20/news038.html