発表の概要
OpenAIは2026年10月6日、内部のフロンティアモデルが生成した広範な数学の新たな結果を発表しました。同社は数学コミュニティーとの結果共有の方法を改善するため、高等研究所の「数学と人工知能に関する独立諮問グループ」と協議を重ねてきました。今回の公開では、同グループの助言と公開勧告を反映し、GitHubリポジトリ上で結果を公開しました。
公開された内容
GitHubリポジトリには、論文の改訂や引用のための手順が含まれます。また、多くの証明について、コンピューターで検証できるプログラミング言語「Lean」による形式化も共有されており、今後さらに入手次第、リポジトリを更新するとしています。
科学的な透明性と開放性を促進するため、結果の導出方法に関する追加の詳細も公開されました。具体的には、モデルの推論の要約10件、ChatGPTでのPro利用に換算した計算量の推定、試行した問題数の統計などが含まれます。同社によると、平均的な結果はChatGPT Proの思考時間約3時間分の計算量を使用したということです。
今後の取り組み
OpenAIは、AIが生み出した主要な結果の理解を深めるための一連のワークショップ、会議、特別プログラムに資金を出すとしています。具体的な内容や日程は今後共有される予定です。また、科学者に最先端の能力を直接提供したいと考えており、これらの結果を生み出したモデルを責任を持ってリリースするよう取り組んでいます。数学やその他の科学分野で内部のフロンティアモデルを評価し続け、それらの分野を前進させるツールの開発を加速させるとしています。
どう見るか
今回の発表では、数学の新たな結果がGitHubリポジトリで公開され、Leanによる形式化やモデルの推論要約、計算量の推定、試行問題数の統計といった詳細が公表されました。一方で、発表文そのものには、どの問題でどんな結果が出たかは書かれておらず、中身はGitHubのリポジトリで見る形です。結果を出したモデルの提供時期も示されていません。また、結果の第三者による検証や、ワークショップなどの具体的な日程も明らかにされていません。OpenAIは今後、コミュニティーからのフィードバックを踏まえて、将来の科学進歩の開示基準を更新するとしています。
