OpenAIが次期AIモデル「Astra」を匂わせ、数学の未解決難問を一気に10件解決と発表

OpenAIが次期主力モデル「Astra」を匂わせ

　 米OpenAIは2026年8月上旬、次世代の主力AIモデルファミリー「Astra」の存在を明らかにし、同モデルの内部バージョンを用いて数学および理論計算機科学における10の長年の未解決問題を解決したとする学術報告書を公表した。249ページに及ぶ論文とともに、すべての結果に対する機械検証可能な形式証明記述言語「Lean 4」による証明コードがGitHub上で公開されている。

　今回解決された問題には、1999年の概念提起から進展がなかった「非ソフィック群の明示的な構築」のほか、「コンヌの剛性予想」に対する反例の提示、3つの「エルデシュ問題」の解決などが含まれる。いずれも少なくとも10年以上、一部は80年近くにわたり中心的な進展が見られなかった強固な学術的障壁であった。OpenAIの発表によれば、これらの証明を生成するために消費されたトークンのコストは、既存モデルであるGPT-5.6 SolのAPI料金換算で約2000ドルに相当する。

　新たに言及されたAstraは、ラテン語で「星」を意味する名称を与えられた最新の主力モデルファミリーである。比較的短いタスク処理に最適化されていた従来のSol（太陽）やTerra（地球）、Luna（月）といった天体由来の命名規則を継承しつつ、数時間から数日以上に及ぶ複雑な計算や論理構築を自律的に維持する「長期実行型ワークロード」に特化して設計されている。この推論能力により、人間が補助的なツールとしてAIを使うのではなく、AI自身が論理を構築して証明を完了させることが可能になった。

　この成果は世界の数学界に大きな波紋を広げている。フィールズ賞受賞者であるジェイコブ・ツィマーマン氏は、AIによる研究の自律化が数学という職業そのものに与える影響を危惧し、AIの安全性研究に軸足を移すとしてOpenAIへの参画を表明した。Astraによる今回の実証結果は、AIが単なる情報検索や文章生成の枠を超え、高度な学術研究を自律的に推進する段階に入ったことを示している。