OpenAI、AI数学成果約400件を公開

OpenAIは2026年10月、組合せ論や幾何学、数論、理論計算機科学などにまたがるAI生成の数学成果約400件を、700本超の原稿としてGitHubで公開しました。数学者らは一部を最高水準と評価する一方、検証状況や記述品質にばらつきがあり、全容の理解には数年を要するとみています。大量公開は既存の研究計画や若手のキャリアにも影響を及ぼしています。

最大の課題は検証です。OpenAIは719本の原稿に対し、Leanで形式化済みの主要成果を300件、約42％と説明していますが、コードが論文の主張と正確に対応するかの確認にも時間がかかります。10月8日時点で12本超の原稿が修正され、符号誤りによって3本が撤回されました。

一方、内容の価値まで低いとは限りません。専門家はリーマン予想への進展、ホッジ予想の特殊例、4次元カケヤ予想の解決とされる成果など数十件を特に高く評価し、既存手法を巧みに組み合わせた成果だとみています。

公開の影響は論文評価にとどまりません。博士論文や助成金申請の土台だった未解決問題が一夜で先取りされたとして、研究計画の見直しを迫られる研究者が出ており、任期のない若手ほど不安が大きいといいます。

OpenAIは改訂履歴を保持し、ワークショップなどへ資金提供する方針を示しましたが、使用モデルやプロンプト、試行した全問題は公開していません。数学・AI諮問団体AGMAIは、検証や説明への支援と計算資源への公平なアクセスを求めています。AI時代には、成果を理解し文脈化する作業の評価も重要になります。