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つのバージョンを提供し、より強力なバリアントには特別な承認が必要となるでしょう。