米OpenAI(オープンAI)は10月6日、未公開の社内AIモデルが生成した数学論文722本を、GitHub(ギットハブ)で一括公開した。論文は関連する研究成果ごとに372グループに分類され、数論、幾何学、理論計算機科学など幅広い分野の未解決問題を扱っている。
OpenAIの公式発表によると、今回の成果は社内の最先端AIモデルに約4000件の数学の未解決問題を与え、解答を試みさせた結果だ。1件の成果を得るために使った計算資源は、平均で「ChatGPT Pro」の高度な推論機能を約3時間動かす場合に相当するという。
公開された研究には、数学の最も有名な未解決問題の一つであるリーマン予想に関連する成果や、ホッジ予想の一部に当たる「CM型アーベル多様体」に関する証明、4次元空間における掛谷予想の解決を主張する論文などを含む。ただし、リーマン予想やホッジ予想の全体が解決されたわけではない。
OpenAIは今回、論文の多くについて、数学的な証明が正しいかをコンピュータで検証できるプログラミング言語「Lean」を使った形式化データも公開した。ただし、全ての論文が形式的に検証されているわけではなく、一部の証明に問題が含まれている可能性もある。公開された論文は学術誌の査読を経ておらず、数学界による独立した検証はこれからとなる。
成果を生み出したAIモデルの名称や詳細な仕様は公表されていない。OpenAIは、ほぼ全ての成果が単一のAIエージェントに一度指示を与えるだけで得られたと説明している。研究者が、同じモデルを使って結果を再現できる状態にはなっていない。
請求書は青天井 Microsoftトップが「AIモデル大手に主導権を渡すな」と叫ぶ真意
「学歴は無価値に」 米トップエンジニアが明かす、AI時代に“大化けする人材”の共通点
売上高93%増のPalantirが独走 AI競争の主戦場「制御層」を奪い合う3陣営
中国は敵ではない NVIDIAトップが警告する「米中共存」とAIインフラの盲点
人間は「取締役」、AIが「CEO」 サム・アルトマンがAGI論争を終了させてまで語りたかった「ASI」の未来図
「人間がコードを書く時代は終わった」 “Claude Code”が引き起こす「知能の価格崩壊」
AIによる“社会崩壊”まで残り3年 トップ識者が警告する「地獄のシナリオ」
AI競争は「Googleの圧勝」で終わるのか? Gemini 2.5 Proの衝撃© エクサウィザーズ AI新聞
Special
PR注目記事ランキング