OpenAI、未公開のフロンティアモデルからの 722 の数学原稿を GitHub で公開

OpenAI は、内部フロンティアモデルで約 4,000 件の未解決問題が提起された後、AI が生成した 722 件の数学原稿をリーン証明チェック付きで GitHub に公開しました。

OpenAI は、未公開の内部フロンティアモデルによって作成された 722 件の数学原稿を公開し、その完全なコレクションを Apache-2.0 ライセンスに基づいてパブリック GitHub リポジトリに配置しました。 2026 年 10 月 6 日に「数学における AI の進歩の共有」というタイトルの研究投稿で発表されたこのリリースは、AI が生成した数学的結果のこれまでで最大の単一ダンプの 1 つであり、正式なリーン証明チェック、推論の要約、各結果が消費したコンピューティング量に関する珍しい詳細が含まれています。

この動きはすでにエッジの効いたフィールドに着地します。ニューヨーク・タイムズ紙は、このリリースは深刻な研究結果を生み出すために何か月もかけてAIシステムと格闘してきた数学コミュニティをさらに動揺させたと報じ、一方サイエンティフィック・アメリカン紙は、OpenAIが「すでにショックを受けている分野にさらに数百もの数学的結果」をもたらしたと評した。最新の AI 研究開発を追跡している読者にとって、このリリースは、フロンティアの研究機関が信用紛争を引き起こすことなく機械生成科学をどのように共有するかについてのテストケースです。

リポジトリの中身

コレクションは GitHub の openai/math リポジトリにあります。 README によると、その内容は数学的な原稿と、未解決の研究問題に関するモデル開発評価の一部として組み立てられた内部 OpenAI モデルによって生成された証明成果物であるとされています。現在のカタログには 372 のファミリーに分類された 722 の原稿が含まれており、ファミリーは主な結果、付随する議論、結果、または代替証明を含む可能性のある関連論文をグループ化し、それぞれが数学的分野ごとに分類されています。

プレプリントディレクトリには、PDF、ソースファイル、原稿ごとの引用と作成手順が保存されます。リーンライブラリでは、正式な証明を、関連する論文や検証構成とともにカタログ化します。すべての原稿が形式化されているわけではありません。多くの結果には、コンピュータに校正を 1 行ずつチェックさせるために使用されるプログラミング言語である Lean による形式化が伴いますが、README では、形式化されていない結果には問題が含まれる可能性があると警告しています。 OpenAIは、このような問題を迅速に解決すると述べており、コレクションの公開履歴を保存し、修正や改訂を新しいバージョンとして記録し、以前のバージョンにもアクセスできるようにすることを約束している。各原稿ディレクトリには、引用用の BibTeX ブロックも含まれています。

結果の生成方法

結果の大部分は、未リリースの内部 OpenAI モデルを使用した単一の固定手順から得られました。評価の過程で、モデルには約 4,000 の問題が提起されました。 OpenAI の報告によると、公開された結果の平均は、ChatGPT Pro のシンキングコンピューティングの約 3 時間に相当するものを消費しており、このレベルの透明性は業界ではまだ稀です。同社は、既存の数学的ベンチマークのパフォーマンスが飽和した後、これらの評価を拡大し、一部の出力は独自のモデルによって生成された以前の結果に基づいていると述べています。適切なレベルの重要性を要求し、生の出力をファミリーと写本に集約して、出版されたカタログを作成しました。

2 つの名前付き例外がその手順から逸脱しました。1 つはリーマンゼータ関数のゼロ自由領域を確立する作業で、読みやすくするために人間が編集した Re(s) > 11/12 領域をカバーする記述と、CM アーベル多様体のホッジ予想の証明です。どちらも本格的な主流数学であり、今後はどちらもコミュニティの厳しい監視にさらされることになるでしょう。

モデルの推論に関する 10 件の要約も公開されています。これらは、円周率の無理指数、対称および一般マーラー予想、自由群因数の同型性、等差数列の準多項式限界、標数 2 におけるカプランスキーの直接有限性予想、希釈スピングラスのメザール・パリシ公式、量子ハイゼンベルク強磁性体の自発磁化、および三次元相対論を含む結果をカバーしています。ウラソフ・マクスウェルシステム。

アドバイザリーグループがリリースの形成に貢献

OpenAIは、結果を共有するためのベストプラクティスを開発する際に、高等研究所の数学と人工知能に関する独立諮問グループに相談したと述べた。このグループは、数学界から 600 件を超える回答を受け取った後、2026 年 9 月 29 日に責任解放に関する推奨事項を発表しました。勧告は単刀直入で、「われわれはこの慣行を支持せず、独自のモデルで高度な数学的問題をテストするのをやめるよう求める」としている。同グループは研究室に対し、AI研究室が管理していない学術リポジトリに結果を寄託すること、引用可能な永続的な識別子を割り当てること、モデル名、使用したプロンプト、推論の要約連鎖を開示すること、結果のリリースをマーケティング手段として扱うことを控えるよう求めている。

OpenAI のリリースは、明らかにそのフレームワークに反抗するのではなく、それに準拠しようとする試みです。コミュニティがそれを受け入れるかどうかは別の問題です。諮問グループの調査では、研究室が詳細を示さずに多くの結果の存在を発表するシナリオについて具体的に尋ねており、そこで出た推奨事項は、発表が検証を上回ることに対する深い懸念を反映している。

検証の負担が数学者に移る

現実的な課題は現在、現役の数学者に課されています。正式なリーンプルーフは機械的にチェックでき、それが存在することでエラーのリスクが大幅に軽減されます。しかし、形式化されていない原稿は、README自体が潜在的に欠陥があると警告しており、従来の査読を必要とし、722本の原稿はコミュニティがすぐに吸収できる量をはるかに超えています。優先順位と信用の問題もあります。これらの問題に何年も取り組んできた数学者は、モデルに何が求められ、何が与えられ、人間の結果が組み込まれているかどうかを正確に知りたいと思うでしょう。 OpenAI が公開するプロンプトの概要と統計の計算は、これらの質問のいくつかに事前に答えるように設計されています。

このリリースでは、競合他社が追従を迫られる可能性のあるテンプレートも設定されています。 Anthropic、Google DeepMind、および研究レベルの数学が可能なフロンティアモデルを備えたその他の研究機関は現在、独自のモデルに隠された結果は完全な出所を明らかにして公開するか、まったくからかわないかのいずれかであるという、諮問グループが明確にした事実上の規範に直面している。

現時点では、リポジトリは稼働しており、正式化の取り組みが進行中であり、修正は公開でバージョン管理されています。これがAI生成数学の標準的な戦略となるか、それとも研究室と研究コミュニティの間で拡大する対立の新たな発火点となるかは、今後数週間の精査の行方次第となるだろう。