OpenAIはinternal frontier modelが生んだ数学成果をGitHubで公開しました。Leanによるproof formalization、model reasoning summary 10件、ChatGPT Pro thinking換算のcompute estimate、試行統計も共有しています。 AIが科学成果を出す段階では、発見そのものより検証と公表手順が実務論点になります。研究組織は形式検証、専門家review、引用責任、改訂履歴を分け、model出力を成果物へ変換する統制を設計する必要があります。 内部frontier modelの数学成果をGitHubで公開 OpenAIは2026年10月6日、internal frontier modelが生み出した幅広い数学成果を公開しました。公開形式はGitHub repositoryで、論文の改訂手順や引用方法も含めています。OpenAIは、Institute for Advanced StudyのAdvisory Group on Mathematics and Artificial Intelligenceと相談し、同グループの公開勧告を踏まえて今回の開示方法を設計したと説明しています。単なる成果発表ではなく、数学communityが検査できる形へ寄せた点が特徴です。 Lean形式化と探索過程も検証材料にする 今回の公開では、複数の証明についてLeanによるformalizationも共有されます。Leanは証明をcomputer checkできる言語であり、OpenAIは取得できたものからrepositoryへ追加していく方針です。さらに、model reasoningのsummary 10件、ChatGPT Proのthinking換算で見たcompute estimate、試行した問題数の統計も出しています。平均的な成果には、ChatGPT Pro thinkingのおよそ3時間分に相当するcomputeが使われたとしています。読者は結論だけでなく、探索の規模と検証可能性を合わせて見ることになります。 研究成果の公表は品質管理の対象になる 実務上の焦点は、AIが出した数学的主張そのものだけでなく、どう検証され、誰が読める形に整えるかです。OpenAIは、citation、数学的な説明、presentationの品質を今後さらに改善すると述べています。企業研究所や大学が同種の成果を扱う場合、model出力をそのまま成果物にせず、形式検証、専門家レビュー、改訂履歴、引用責任を分けて管理する必要があります。査読前の主張と検証済み成果を混同しない表示も重要です。外部から再計算しやすい導線も価値になります。 科学向けmodel公開への布石にもなる OpenAIは、今回の成果が数学のfrontierを押し広げることを期待し、AIが生んだ主要成果を理解するためのworkshop、conference、special programに資金提供する予定も示しました。同時に、成果を生んだmodelを責任ある形で公開する作業を進めるとしています。未確定なのは、そのmodelの提供範囲、評価基準、外部研究者が再現できる検証環境です。