OpenAI、内部フロンティアモデルが生んだ数学的成果をGitHubで公開

何が公開されたのか

OpenAIは2026年10月6日、社内のフロンティアモデルが生成した数学的な成果を幅広く公開すると発表しました。公開の場として選ばれたのはGitHubのリポジトリで、論文の改訂や引用に関するプロトコルも併せて示されています。同社は、今回の公開方法を決めるにあたり、Institute for Advanced Studyにある「数学と人工知能に関する独立諮問グループ」と協議し、その助言や公開された提言を参考にしたと説明しています。

また、このリリースに限らず、コミュニティが運営する別の公開の場についても、同グループのガイドラインを満たすものを引き続き検討しているとしています。今後のリリースでは、引用や数学的な記述、結果の提示方法を改善し、論文の質をさらに高めていく方針が示されています。

Leanによる形式化と計算量の開示

今回の公開で技術的に注目されるのは、多くの証明をLeanで形式化したものを共有している点です。Leanは、数学の証明をコンピュータで検証できるようにするためのプログラミング言語です。形式化された証明は、人手による読解だけでなく機械的な検証を通せるため、AIが生成した成果の正しさを確認する手段の一つになります。OpenAIは、新たな形式化が得られ次第リポジトリを更新するとしています。

透明性と開放性のために、結果をどのように得たかの詳細も公開されています。具体的には、モデルの推論に関する10件の要約、ChatGPTのPro利用量に換算した計算コストの推定、試行した問題の数に関する統計です。平均的な結果については、およそ3時間のChatGPT Proの思考に相当する計算量を使ったと説明されています。

数学コミュニティとの連携

OpenAIは、この進展を人類の知識のフロンティアを押し広げ、数学のさらなる発展につなげたいと述べています。その一環として、AIが生み出した主要な成果を理解するためのワークショップ、会議、特別プログラムに資金を提供する予定で、詳細は近く共有するとしています。

さらに、こうした成果を生み出したモデルそのものを、責任ある形で公開するための取り組みを進めていると説明しています。そのためには、数学や他の科学分野で社内のフロンティアモデルを評価し続けることが重要だとしています。コミュニティからのフィードバックに基づいて行動し、今後の科学的進歩の開示に関する基準を更新していく方針です。

現時点で分かっていないこと

一方で、公開される個々の数学的成果の具体的な内容や、それを生み出したモデルの名称は、この発表では明らかにされていません。GitHubリポジトリのライセンスや利用条件、論文の査読状況についても言及がありません。

モデル自体の公開時期や方法、ワークショップや会議の日程・対象も現時点では示されていません。成果の数学的な重要性を判断するには、公開された論文と形式化の内容を専門家が確認する必要があると考えられます。計算コストもChatGPT Proの利用量という同社独自の指標で示されており、他社モデルとの直接比較はできません。