OpenAI、内部AIが数学論文722本を生成・公開

概要

詳細

公開された内容

公開されたのは、722本の論文(372の「ファミリー」にまとめられています)と、各論文の概要をまとめた資料、個々の論文を探すための目次です。取り上げられている分野は幅広く、円周率(π)の無理数度の研究、マーラー予想、乗法的関数の相関に関する研究などが含まれます。多くの論文には、証明支援システム「Lean」による形式的な検証が付属していますが、ゼータ関数やホッジ予想に関する一部の研究は、通常とは異なる手続きが取られたとされています。

どのように生成されたか

OpenAIによると、1件の結果を得るのに平均して約3時間の「ChatGPT Pro」の思考モード相当の計算を使用したとしています。約4,000の問題を評価対象とし、そこから一定の重要性を満たすと判断された722本に絞り込んだとのことです。

検証体制への指摘

数学とAIに関する助言組織「AGMAI(Advisory Group on Mathematics and Artificial Intelligence)」は、2026年9月29日付けの提言で、使用したモデル名やプロンプト、推論の要約、計算コスト、形式検証の有無などを開示するよう求めていました。今回の公開はこの提言を踏まえたものとされていますが、AGMAIは「社内の非公開モデルだけで問題を評価する手法は支持しない」として、こうしたやり方をやめるよう求めています。また、AGMAIは自らの助言が成果の重要性を判断するものではなく、OpenAIの手法を支持するものでもないと明言し、最終的な評価は数学界が担うべきだとしています。

注意点

今回の722本はいずれもOpenAI社内での評価を経たものであり、外部の数学者による査読・検証はこれから行われる段階です。「リーマン予想に関連する難問の証明」といった大きな主張についても、現時点では企業側の発表にとどまり、数学界で正式に認められたものではない点に注意が必要です。