本記事はAIを活用して自動収集・要約しています。サムネイルおよび画像もAIツールを使用して生成しています。
OpenAIは次世代モデルファミリー「Astra」を発表しました。CEOのサム・アルトマン氏がワシントンD.C.で政治家や規制当局者向けにデモンストレーションを行いました。Astraは数時間から数日に及ぶ長時間タスクへの対応を想定して設計されており、複雑なプロジェクトの遂行や高度な数学の応用が用途として挙げられています。
1数学・理論計算機科学の未解決問題10件を解決
発表によると、内部版のAstraは10年以上（多くはそれ以上）進展のなかった数学・理論計算機科学の未解決問題10件を解きました。対象分野は次の通りです。
- 高次元幾何
- 符号理論
- 群論
- 量子複雑性
- 格子暗号
- 極値組合せ論
このうち群論分野の1証明は「非ソフィック群の存在」を確立し、同分野の重大な未解決問題を解決したとされています。
2専門家の評価
マンチェスター大学の数学者トーマス・ブルーム氏はこの成果を「big news」と評しました。同氏は「単位距離予想の反例ほどの大きさではないかもしれないが、構成という観点では大きい」とコメントしています。一方で、AIが数学者に取って代わるという見方については、「AIは100年以上積み上げられてきた数学理論に依拠し、数学者が書いたものを学習データにしている」と反論しています。
3コストと開発プロセス
OpenAIによれば、10問すべての解答生成に使用したトークンは、Sol APIの料金換算で約2,000ドル相当だったといいます。人間の研究者がモデルと協働し、議論を研究論文の形式にまとめました。各証明はLeanで形式化され、数学的正当性を機械検証可能な証明書として作成。推論過程のウォークスルーも公開されています。
4今後の展望
OpenAIは2028年3月までに、研究プロジェクトを独立して遂行できる「完全自律型AIリサーチャー」の実現を目標としているとしています。
出典：The Decoder「OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions」（2026年8月1日）https://the-decoder.com/openai-announces-its-next-major-model-astra-by-dropping-ten-previously-unsolved-math-solutions
