OpenAI新モデルAstra発表！10の数学難問を突破、複数AIエージェント協働でAGIに挑戦

OpenAIは、複数の人工知能（AI）エージェントが長時間協働して複雑な課題を解決する能力を持つ、コードネーム「Astra」の新モデルファミリーを開発している。

この技術が実現すれば、同社の汎用人工知能（AGI）達成に向けた重要なマイルストーンとなる。また、アメリカのトランプ政権が導入した新たなAI規制枠組みのもとで、最初に審査対象となる製品の一つになる可能性がある。

『The Information』が関係者3名の話として報じたところによると、OpenAIのCEOサム・アルトマン氏は今週、ワシントンD.C.を訪れ、政策立案者や規制当局に対してAstraの実際の動作を直接デモンストレーションした。

プレゼンテーションでは、このモデルが複数のAIエージェントを長時間にわたり分業させ、プロジェクト管理から高度な数学的証明に至るまで、複雑なタスクを処理できる点が特に強調された。

同時に、OpenAIは報告書を発表し、自社の最先端AIシステムが、長年未解決だった10の数学的難問を解決したことを明らかにした。これらの問題は、高次元幾何学、プログラミング理論、群論、量子複雑性理論、極値組合せ論など、最先端の分野にまたがっている。

それぞれの問題は学術界で10年以上放置されてきたが、OpenAIは約2000ドルの計算コストで全問を解決した。

今年1月にOpenAIに加わった研究員リージー・チェン氏は、ソーシャルメディア上で、これらの問題の証明が旗艦モデルAstraによって生成されたことを確認した。

関係者によると、Astraは今後、OpenAIが現在展開しているSol、Terra、Lunaシリーズと並ぶ、独立したモデルカテゴリとして位置づけられる予定だ。

現時点では、このモデルの市場投入時期や正式名称について最終決定が下されていない。期待されているGPT-6としてリリースされるのか、あるいはGPT-5シリーズのサブバージョン（例：GPT-5.7）として登場するのかは不明だ。

注目すべきは、モデルがすでにテスト段階にあるにもかかわらず、その公開は規制環境に左右される可能性がある点だ。関係者によれば、Astraはトランプ政権の新AI枠組みのもとで、最初に審査を受ける製品の一つになる見込みである。

この枠組みでは、AI企業はモデルを公開する前に連邦政府に届け出る必要があり、その期限が今週末に迫っている。

OpenAIが公表した内容によると、Astraは数学および理論計算機科学の分野で10の画期的な成果を達成した。具体的には、高次元球体パッキングの密度上限、バイナリおよび球面符号の限界改善、非純粋ソフィー群の存在証明、コネス剛性予想の反証、算術回路の複雑性における新たな下限、量子並列反復定理、最近傍ベクトル問題の多項式因子近似の困難性証明、エルハルト体積予想、多色ラムゼー数の超指数的下限、および極値数予想などが含まれる。

これらの多くは、故ポール・エルデシュが残した古典的な未解決問題に直接応えるものである。

研究プロセスに関して、OpenAIは、Astraモデルが数学的証明を生成し、人間の研究者は同じモデルの支援を受けて論文の草稿を整える。その後、証明はLeanというプログラミング言語に変換され、形式的に検証されるとしている。

同社は特に強調している。10の突破的成果の数学的証明はすべてAIシステムによって生成されたものであり、人間の研究者の役割は草稿作成、形式検証、最終的な正しさの確認に限定されていると。

これはOpenAIが数学分野で成果を上げた初めての事例ではない。今年5月、同社は未発表のモデルをテスト中に、「単位距離問題」を反証することに成功しており、その後、学術界でも関連研究が相次いで発表されている。

AIシステムが科学研究において果たす役割がますます重要になる中、成果の帰属に関する議論も表面化している。これに対しOpenAIは、「ライデンAIと数学に関する宣言」に賛同する研究者の懸念を理解し尊重するとしつつ、完全にAIが生成した証明を人間に帰属させることは、AIの実際の貢献を歪め、人間の知的作業の境界を曖昧にするとしている。

注目に値するのは、OpenAIが最近、学術界向けにChatGPTプロジェクトを開始し、10万人の科学者および数学者に自社最強のモデルを無料で提供している点だ。また、今後も開放的な数学的難問をモデル開発のテスト指標として活用していく方針である。