OpenAIは最近、研究論文を発表し、コードネームAstraの次世代大規模モデルを正式に公開しました。OpenAIの紹介によれば、Astraは「私たちの次の主要モデル」と位置づけられ、その内部バージョンは数学と理論計算機科学の分野で10項目の重要な進展を達成しており、解決された問題は過去少なくとも10年間、実質的な突破口がありませんでした。中には、学界をさらに長い間悩ませてきた難題も含まれています。
Astraモデルが数学分野で重要な進展を達成
OpenAIの研究は、高次元幾何学、符号理論、算術回路の複雑性、群論、量子複雑性、格暗号学、極値組合せ論など、複数の高度な数学分野を網羅しています。具体的な成果には、非sofic群の存在証明、Connes剛性予想の反証、高次元球体の新しい充填境界、そして数学者Paul Erdősが提起したいくつかの問題の解決が含まれています。OpenAIは、Sol APIを使用してトークン単位で課金し、これらの問題を解決するための総コストは約¥320,510（US$2,000）であると指摘しています。
研究プロセスにおいて、人間の研究者はAstraモデルを利用して証明の思考を構築し、原稿を作成します。その後、Astraは各証明をLean証明書として形式化し、証明プロセスが数学的検証システムによって検証できるようにします。この「人間と機械の協力」モデルは、Astraが長期的な推論と厳密な検証を必要とする複雑なタスクを処理する能力を示しています。
OpenAIは複雑なタスクに対応するためにAstraモデルを開発中
The Informationによる独立した確認によれば、OpenAIは確かにAstraを開発中であり、これは長時間の運用負荷に特化した新しいモデルファミリーです。Astraのコア機能は、AIエージェントがより大きな問題の異なる部分で協力できることをサポートすることであり、これは単一のタスクを完了するだけでなく、複数のエージェントが分担して協力し、非常に高い複雑さを持つ学術的な問題に共同で取り組むことを意味します。
Astraの最終的な名称について、OpenAIはまだ決定を下していません。このモデルはGPT-5.7、GPT-6、または他の名称で発表される可能性があります。分析者は、Astraが重大な突破口となるモデルであるため、その発表戦略はAnthropicのアプローチを参考にする可能性があると指摘しています：一般消費者向けに1つのバージョンを提供し、より強力なバリアントは特別な承認を経てアクセスできるようにするというものです。