OpenAIが内部モデルによる数学の成果群をGitHubで公開、AGMAIの提言を反映

OpenAIは2026年10月6日、同社の未公開の内部フロンティアモデルによって得られた幅広い数学の成果群を公開すると発表しました。今回の公開はモデル自体の提供ではなく、生成された成果物そのものを対象としており、公開先となるGitHubリポジトリを通じて数学コミュニティとの共有が図られています。

この取り組みは、高等研究所（IAS）に置かれた数学とAIに関する独立助言グループ（AGMAI）への相談や、同グループが発表した提言に沿う形で実施されました。公開されたリポジトリには、多くの証明の形式化データや一部の推論過程の要約が含まれており、数学と人工知能の協働における新たな公開プロトコルの試みとして注目されています。

372ファミリーに整理された722件の数学成果

公開されたGitHubリポジトリ「openai/math」には、基準日である2026年10月7日現在で722件の原稿（manuscripts）が、数学の分野ごとに372個のファミリー（families）に整理されて収録されています。各ファミリーは、主結果、関連する原稿、帰結、および別の証明などを一つの単位としてまとめたものです。さらに、乗法的関数の2点相関や円周率の無理数度など、特定の重要な問題に対応する10件の推論要約PDFや、検証用のLean形式化ライブラリなどが開示されています。

これらの成果の大半は、同一の検証手順に沿って評価過程で約4000問を出題し、重要性の基準に基づいて集約されました。計算量の見積もりとして、平均的な1つの結果を得るためにChatGPT Proの思考時間換算で約3時間を要したと説明されています。ただし、リーマンゼータ関数の零点非存在領域に関する証明とCMアーベル多様体へのホッジ予想の証明の2件は例外的な手順で得られたものであり、特にRe(s)が12分の11を超える零点領域の記述については、人間が可読性を向上させるために直接編集を行ったと開示されています。

形式化状況と修正および引用の管理

公開された成果には、形式証明支援言語であるLeanによる形式化が多数含まれており、入手され次第順次更新される予定です。一方で、すべての原稿にLean形式化が存在するわけではなく、公開側も未形式化の一部に誤りや問題が含まれている可能性を明示しています。検証段階が異なる結果が混在しているため、不具合が発見された場合は速やかに修正を行う姿勢が示されています。

コミュニティにおける改訂や引用を適切に管理するため、このリポジトリでは版の履歴を保存する運用が採用されています。修正や改訂が行われた場合は新しい版として記録され、過去の旧版も引き続き利用可能な状態で保持されます。また、第三者が個別の原稿を引用しやすいよう、各ディレクトリには文献引用フォーマットであるBibTeXファイルが備えられています。

独立助言グループ「AGMAI」の提言との対応

今回の成果公開にあたり、OpenAIはAGMAIが2026年9月29日に発表した提言「Responsible Release of AI-Generated Mathematics」を反映したと説明しています。AGMAIは本来、営利企業などがクローズドなモデルを用いて高度な数学を試みる行為自体をやめるよう求めていますが、現状を踏まえた現実的な指針として、人間が未理解のAI生成論文を公開する際の「初期公開」と「理解支援」という2段階の手順を提唱しています。

OpenAIはAGMAIの推奨項目に対応する形で、計算量の見積もりや推論プロセスの要約の一部を開示し、さらに理解促進を目的としたワークショップや特別プログラムへの資金提供を計画しています。また、現時点では自社が管理するGitHub上での公開にとどまっているものの、将来的にはAI研究所の管理下ではないコミュニティ主導の代替リポジトリへの移行も検討していると表明しました。