OpenAI が2026年10月6日、社内の最上位モデルが出した数学の新しい結果をまとめて公開した。論文の改訂と引用の手順を決めた GitHub のリポジトリに置き、証明の多くは Lean で機械が検証できる形にしている。結果1件あたりの計算量は、平均で ChatGPT Pro の思考およそ3時間ぶんに相当するとしている。
- OpenAI が2026年10月6日（米国時間）、社内の最上位モデルが出した数学の新しい結果をまとめて公開した。発表の文章には、結果の件数や対象の問題の名前は書かれていない
- 置き場所は GitHub のリポジトリで、論文の改訂と引用の手順を決めたうえで出したとしている。数学の界に結果を出す作法については、Institute for Advanced Study にある独立の「数学と人工知能に関する助言グループ」に相談し、その助言と公開されている勧告をもとに今回の出し方を決めたという。この助言グループの指針に合う、学界が運営する別の置き場所も引き続き探しているとしている
- リポジトリには、証明の多くを Lean（証明を計算機で検証できるプログラミング言語）で形式化したものも入れている。形式化できたものから順に追加していくとしている
- 透明性のために、結果の出し方の詳細も同じリポジトリに出している。モデルの推論の要約10件、使った計算量を ChatGPT Pro の利用に換算した見積もり、挑んだ問題の数の統計などで、結果1件あたりの計算量は平均で ChatGPT Pro の思考およそ3時間ぶんに相当するとしている
- 結果を出したモデルそのものについては、「責任ある形で公開できるよう取り組んでいる」としており、公開の時期や料金についての記述は発表に無い。社内の最上位モデルを数学やほかの科学で評価し続けることが、それらの分野を進める道具を速く作るために重要だとしている
今後については、AI が出した主要な結果を理解するための研究集会・会議・特別な企画に資金を出す予定だとしている。詳しくは近いうちに知らせるという。公開の基準も、数学の界からの意見を受けて今後の発表のたびに見直すとしており、論文の引用・数学としての書きぶり・結果の示し方の質を次の公開までに上げると書いている。
確かめた一次資料
この記事は、上の一次資料の原文を読んで書いています。数字は原文のとおりで、計算した値はそう書いています。