ChatGPT 読了 5 分

「とんでもない時代に生まれてしまった」――OpenAIの非公開AIが数学論文722本を一夜で公開

Shiritomo編集部 @shiritomoAI_jp 2026年10月7日更新

「夜にノーベル物理学賞の解説動画を撮って一安心してスヤスヤ寝ていたら、その間にOpenAIが722本の論文を公開してた。
物理に関する結果も沢山含まれてる。
とんでもない時代に生まれてしまった」

数学系YouTuberのYobinoriさんが、10月7日の昼前にXへ投稿した一言です。
2026年10月6日、OpenAIは社内で開発中の非公開AIモデルに約4,000個の数学の問題を解かせ、その結果を372の成果グループ・722本の論文としてGitHubで一気に公開しました。
ChatGPTのような一般向けサービスの裏側で、AIが研究者の仕事そのものに踏み込みはじめている――その規模感を確かめておきたい出来事です。

先に結論をまとめると：
– OpenAIの非公開AIモデルが数学の問題約4,000個に挑み、722本の論文・372の成果グループをGitHubで公開した
– そのうち約22%（162本）は証明支援ツール「Lean」で形式検証済みだが、残り560本は自然言語の記述のみで未検証
– 準リーマン予想やUnique Games Conjectureなど数十年単位の難問への挑戦を含むが、外部の数学者による追認はまだ済んでいない

何が起きたのか

OpenAIは research post（研究報告）の形で、内部の最先端モデルに約4,000個の数学の問題を提示し、その結果をまとめて公開したと説明しています。
公開先は「openai/math」という名前のGitHubリポジトリで、ライセンスはApache-2.0（商用利用も可能な緩いライセンス）です。
対象は純粋数学だけでなく、理論計算機科学や数理物理にも及びます。

Xでは、数学系YouTuberのYobinoriさんがこの規模に反応しました。

夜にノーベル物理学賞の解説動画を撮って一安心してスヤスヤ寝ていたら、その間にOpenAIが722本の論文を公開してた。物理に関する結果も沢山含まれてる。とんでもない時代に生まれてしまった
— ヨビノリたくみ😬 (@Yobinori) 2026年10月7日

この投稿が示すとおり、公開された論文群には量子情報・多体物理・量子計算といった物理分野の成果も含まれており、数学だけの話では終わっていません。
ただ、量が多いことと「正しいこと」はイコールではありません。
ここからは、どこまで検証が済んでいるのかを一次情報で確かめていきます。

調べて分かったこと

どこまで検証されているのか？

722本のうち、証明支援ツール「Lean」（コンピュータが機械的にチェックできる形式で証明を記述するツール）による形式検証が済んでいるのは162本、全体の約22%です。
残りの560本は自然言語による記述にとどまり、外部の専門家によるチェックはまだ済んでいません。
OpenAI自身も、未検証の結果には誤りが含まれる可能性を認めています。
つまり「722本の論文が公開された」ことと「722本の証明が正しいと確認された」ことは、現時点では別の話です。

本当に未解決問題を解いたのか？

公開内容には、準リーマン予想（素数の分布に関わる整数論の超難問「リーマン予想」に関連する、より限定的な命題）に関する成果や、2002年にSubhash Khot氏が提唱したUnique Games Conjecture（ある種のゲームの近似解を求める問題の計算の難しさに関する予想）への取り組みが含まれているとされています。
Xでは「数学における最重要の未解決問題500件のうち90件を解決した」との声も上がりましたが、これはOpenAI自身の説明ではなく、Xユーザーによる受け止め方です。
平均すると1つの結果を得るのに、ChatGPT Pro相当の計算時間で約3時間を使ったといいます。

ただし、これらはあくまでOpenAI側の説明です。
数学の世界では、新しい証明が「正しい」と認められるまでに、他の研究者による査読・検証の時間が必要です。
722本というボリュームを考えると、その精査には数か月単位の時間がかかると見られています。

専門家はどう見ているのか？

量子情報を研究するアイザック・キム氏は、公開内容の中に量子情報・多体物理・量子計算といった自身の専門分野に関わる問題が含まれていることに驚きを示したと報じられています。
今後の数ヶ月で、どの成果が本当に「新しい定理」として認められるのか、専門家コミュニティでの検証作業が進んでいく見通しです。

Shiritomo編集部の考察

今回の722本という本数そのものより注目したいのは、「検証済み22%・未検証78%」という構成比を、OpenAIが隠さずに公開した点です。
これまでAIの成果発表は「できた」という結論だけが先に出て、検証の過程がブラックボックスになりがちでした。
Leanという機械チェック可能な形式を使うことで、「AIが言っていることを人間が無条件に信じる」のではなく「機械的に確認できる範囲とできない範囲を分ける」という検証の型が、AI研究の標準的な作法になりつつあるように見えます。
これはAIを仕事で使う私たちにも応用できる視点です。
AIの出した答えをそのまま信じるのではなく、「どこまでが検証可能で、どこからが未確認か」を自分で切り分ける習慣が、今後ますます重要になりそうです。

まとめ

OpenAIは非公開の内部モデルを使い、数学の問題約4,000個への挑戦結果を722本の論文として公開しました。
ただし形式検証が済んでいるのは約22%にとどまり、残りは専門家による今後の精査を待つ段階です。
数の大きさに目を奪われず、「どこまで確かめられているか」を見極める視点を持っておきたいニュースです。