OpenAIモデルAstra、数学の未解決問題10件解決

OpenAIは2026年8月1日、開発中の次世代フラグシップモデル「Astra」の内部バージョンが、数学および理論計算機科学における10件の長年未解決だった問題を解決したと発表しました。今回の成果は高次元幾何学、量子計算量、群論、格子暗号といった多岐にわたる専門分野に及んでいます。Astraが生成した証明の引数は人間の研究者とともに精緻化され、形式検証言語である Lean 4（数学的証明を機械的に検証する言語） の証明書として標準化されました。これらの成果は第三者による機械的検証が可能な状態としてGitHub上にオープンソースで公開されています。

証明の生成に投じられた総計算量は、Sol APIレート換算で約7,000ドル相当と見積もられています。Astraは、複雑な多段階の論理推論や、長時間を要する自律的な研究ワークフローの処理に特化して設計されたモデルです。従来のAIモデルが基本的な数学解法やコード補完に留まっていたのに対し、Astraは先端暗号理論や量子複雑性などの高度な領域において有効な証明を構築する能力を示しました。人間の専門家によるレビューとLean 4による機械検証を組み合わせるアプローチにより、AIによる発見の厳密性と再現性が確保されています。

Astraの達成は、OpenAIの技術開発における主軸が高度な論理推論と長期稼働型自律ワークフローへシフトしていることを明確に示しています。数学および基礎科学のフロンティアにおいてAIが実効的な研究支援を行う実例となったことで、今後の学術研究や技術開発の効率化が期待されます。研究結果と検証コードのオープンソース化は、科学コミュニティにおける透明なコラボレーションの新たなモデルとなるでしょう。

出典: OpenAI

引用元: OpenAI | qz.com | OpenAI | GIGAZINE