OpenAIは10月6日2026年に、内部のフロンティアモデルが生成した幅広い新しい数学的成果を発表した。これらの成果は、論文の改訂と引用のプロトコルを含むGitHubリポジトリを通じて共有されており、高等研究所の独立した数学と人工知能の助言グループと協議し、研究コミュニティにAI生成の数学的成果を共有するためのベストプラクティスを開発している。
この画像はOpenAIの発表ページからのプロモーショングラフィックで、研究コミュニティにAI生成の数学的進歩を共有するというテーマを視覚的に表している。
リポジトリには、多くの証明のLeanによる形式化が含まれている。Leanは数学の証明をコンピュータで検証できるプログラミング言語だ。さらに、OpenAIはこれらの結果に対するモデルの推論プロセスの10の要約、ChatGPT Proの利用相当で測定した計算リソース消費の見積もり、発見中に試行された問題数の統計を提供している。リリースによれば、平均して1つの結果に必要な計算リソースは、ChatGPT Proの思考時間約3時間に相当する。
この画像は数学的ブレークスルーを強調するアートカードを描写しており、記事でのAI生成の新しい数学的成果についての議論と一致している。
OpenAIは、今回のリリースが科学の透明性と開放性を促進し、同時に数学における人間の知識のフロンティアを押し広げることを目的としていると述べている。組織は、AIシステムが生成した主要な成果を理解するためのワークショップ、会議、特別プログラムへの資金提供を計画している。また、これらの成果を生成したモデルを責任を持って公開する方向に取り組んでおり、数学やその他の科学における内部フロンティアモデルを継続的に評価し、これらの分野を進展させるツールを開発することの重要性を強調し、コミュニティからのフィードバックに基づいて今後の開示基準を更新することにもコミットしている。