OpenAI、次世代モデルファミリー「Astra」を正式発表、未解決の数学問題10問を一挙に解決

OpenAIは、次期主要モデルファミリーの名称がAstraであることを正式に確認し、内部バージョンのAstraが数学と理論計算機科学における未解決問題10問を解決したことを示す数学レポートを公開しました。問題は、高次元幾何学、符号理論、群論、量子複雑性、格子暗号、極値組合せ論など多岐にわたります。解決された問題には、群論における中心的な未解決問題である非ソフィック群の存在の証明が含まれます。マンチェスター大学の数学者トーマス・ブルーム氏は、Xでこの結果を「ビッグニュース」と呼び、5月に発表された単位距離予想への反例よりも評価が高いと述べました。Astraの背後にあるテスト時推論技術の主要人物であるノア・ブラウン氏は、Xで、OpenAIがミレニアム賞問題を含む他の主要な問題でも失敗したことを認め、問題ごとにあまり多くの計算リソースを費やしておらず、テスト時計算をさらにスケールできると指摘しました。ブラウン氏は、Astraを「科学推論の大きな一歩」と表現しました。解決にかかった計算コストは驚くほど低く、OpenAIによると、必要トークンはSolモデルのAPI価格で約2,000ドル相当でした。その後、議論は人間と同モデルが一緒に原稿にまとめ、各証明はLean証明書（数学的正しさの機械検証可能な確認）に形式化されました。OpenAIはまた、各解決策に対するモデルの思考プロセスの記録も公開しました。同社は、原稿の準備と形式化を支援し、正確性に責任を負う一方で、数学的議論自体はシステムから得られたものであり、完全にAIが生成した証明に人間の著作者を主張することは、システムの貢献と真の人間の知的作業の性質の両方を誤って伝えることになると明言し、AIと数学に関するライデン宣言の署名者に言及しました。ブルーム氏は、AIが数学者に取って代わるという考えを相対化し、AIが1世紀以上の数学理論に基づき、数学者によって構築され、数学者がこれまで書いたすべてのもので訓練されている場合、そのように言うのは適切ではないと論じました。以前の報道によると、CEOのサム・アルトマン氏がワシントンD.C.で政治家や規制当局にAstraをデモンストレーションし、Astraは既存のSol、Terra、Lunaファミリーとは異なる新しいクラスのモデルであり、GPT-6としてリリースされるか、GPT-5シリーズ内のGPT-5.7などのバリアントとしてリリースされる可能性があるとされています。Astraは、トランプ政権による新たな枠組みの下で、公開前に連邦政府の審査を受ける最初のモデルになると予想されています。このモデルは、長期間にわたるマルチエージェントコラボレーション向けに設計されており、複雑なプロジェクトや高度な数学タスクの解決を目指しています。OpenAIは、数時間または数日にわたって問題に取り組むAIシステムの開発を目標としており、2028年3月までに完全に自律的なAI研究者を完成させることを目指しています。