OpenAIは2026年10月6日、内部のフロンティアモデルによって生成された広範な新しい数学的成果を公開しました。数学コミュニティとの成果共有方法を改善するため、OpenAIはプリンストン高等研究所の数学と人工知能に関する独立諮問グループと協議し、その助言と公開提言を参考にして、これらの結果の公開方法を決定しました。
今回のリリースでは、結果はGitHubリポジトリで公開され、論文の改訂と引用に関するプロトコルが含まれています。OpenAIは、委員会のガイドラインを満たす他のコミュニティ主催の代替手段も引き続き検討しています。今後のリリースでは、引用、数学的説明、結果の提示を改善することで論文の品質をさらに向上させることを約束しています。
GitHubリポジトリの一部として、多くの証明のLeanによる形式化を共有しています。Leanは、数学的証明をコンピュータで検証できるプログラミング言語です。OpenAIは、追加の形式化が得られ次第、リポジトリを更新する予定です。科学の透明性と開放性を促進するため、結果を得る方法に関する追加の詳細も公開しています。これには、モデルの推論の10件の要約、ChatGPT Proの使用量で推定した計算コスト、試行された問題の数の統計が含まれます。平均的な結果は、約3時間のChatGPT Proの思考に相当する計算を使用しました。
OpenAIは、この進歩が人類の知識のフロンティアを押し広げ、数学のさらなる進歩を可能にすることを望んでいます。AIによって生み出された主要な成果を理解するための一連のワークショップ、会議、特別プログラムに資金を提供し、近いうちに詳細を共有する予定です。科学者に最先端の能力を直接提供したいと考え、これらの結果を生み出したモデルを責任を持ってリリースするよう取り組んでいます。そのため、数学や他の科学分野で内部フロンティアモデルの評価を続けることが重要であり、これらの分野を前進させるツールの開発を加速できます。コミュニティからのフィードバックに基づいて行動し、将来の主要な科学的進歩の開示基準を更新していきます。