OpenAIは2026年10月6日(現地時間)、内部フロンティアモデルが生成した新たな数学的成果を公開しました。同社は、数学コミュニティへの成果共有方法を改善するため、インスティテュート・フォー・アドバンスト・スタディ (Institute for Advanced Study) のアドバイザリー・グループ・オン・マセマティクス・アンド・アーティフィシャル・インテリジェンス (Advisory Group on Mathematics and Artificial Intelligence) からの助言に基づき、GitHubリポジトリで詳細を共有。証明の形式化も進めています。
今回の発表では、内部フロンティアモデルが数学における未解決問題に対して生成した広範な結果が提供されました。OpenAIは、論文改訂と引用のプロトコルを定めた上で、結果をGitHubリポジトリで公開しています。同リポジトリでは、コンピュータによる検証が可能なプログラミング言語Leanで多くの証明が形式化されており、今後も形式化が追加される予定です。
科学的透明性と開放性のため、結果の取得方法に関する詳細もリポジトリで公開されました。これには、モデルの推論に関する10の要約、ChatGPT Proでの利用換算で平均約3時間分の計算量、試行問題数に関する統計が含まれています。OpenAIは、これらの進歩が数学のフロンティアを押し広げることを目指し、AIが生成した主要な結果の理解に関するワークショップ、会議、特別プログラムへの資金提供を予定しています。また、科学者に最先端の機能を提供するため、結果を生成したモデルの責任あるリリースに向けて取り組むとしています。
参考: OpenAI Blog (アーカイブ) — 2026年10月6日 10:00 (JST)