OpenAIは最近、未公開のフロンティアモデルによって生成された数学の解答群を公開した。今回の公開には722本の論文が含まれ、関連する結果をまとめた372の「結果ファミリー」に分類されている。新たに設立された独立諮問グループ「AGMAI(数学と人工知能に関する諮問グループ)」によれば、この中には「数百」の未解決問題の解答が含まれるという。AGMAIは、一流の数学者たちで構成され、結果を責任を持って伝えるために設置された。
これらの成果は数週間前から期待されていたが、これまでOpenAIはどの問題をモデルが解いたのか、いつ公開されるのかについて詳細を明らかにしていなかった。同社は9月に、モデルが「数学のほとんどの分野にわたる100以上の長年の未解決問題を解決した」と述べていた。公開された論文などの資料には、モデルの推論の要約の一部、使用された計算量の推定、試行した問題数の統計も含まれる。OpenAIは「平均的な結果」に、ChatGPT Proの思考3時間分に相当する計算量が使われたと主張している。
AGMAIは9月下旬に最初の提言を公表し、AIラボに対して数学的成果を迅速に、可能な限り既存の学術チャネルを通じて公表すること、また使用したモデル名、プロンプト、計算コストなどの詳細を開示するよう促した。さらに、AI企業に対し「数学的成果の公表を自社モデルの宣伝手段として扱うことを控える」よう求め、そうした行為が数学界に重大な害を与えると指摘した。
OpenAIは今回の公開プロセスについて次のように説明している。成果はGitHubリポジトリで公開され、論文の改訂と引用のためのプロトコルが用意されている。委員会のガイドラインを満たす、コミュニティがホストする他の代替手段も引き続き検討している。今後の公開では、引用、数学的な説明、結果の提示を改善することで論文の質をさらに高め、より理解しやすくすることに注力するとしている。
これらの結果の全体的な影響が明らかになるまでには時間がかかるとみられる。数学者たちが評価し消化する必要があるからだ。これらは、OpenAIやAnthropicなどの競合ラボによる急速に増えつつある数学的成果に加わるもので、学界はまだ処理しきれていない。その中には、数学界で最も有名な未解決問題の一つであるミレニアム懸賞問題に関する結果も含まれる。今年、AIラボがこの分野に急速に踏み込んだこと、特に発表の扱い方をめぐって、研究手法、倫理、そしてシステムが依存し成果を生み出す可能性のある人間の数学者への功績の帰し方について、激しい議論が起きている。