OpenAIは8月1日、次期中核モデル群の名称を「Astra」と正式に示した。 公開されたのは、未発売の数学問題10題を解いたシステムとしてであり、 それはAnthropicの「Claude Opus 5」提供開始からわずか1週間後のタイミングだった。
注目ポイント
- OpenAIは8月1日付の研究投稿で、10件の数学成果を紹介しつつ「Astra」名称を明示。
- Astraは1つの問題に複数エージェントを長時間投入する設計で、発売時期や提供形態は未定。
- Claude Opus 5は7月24日に提供開始。料金は100万トークン当たり入力5ドル・出力25ドル、コンテキスト長は100万トークン。
OpenAI「Astra」モデルの概要
OpenAIは、数学および計算機科学理論の分野で少なくとも10年以上未解決だった問題10件に対し、 社内版Astraが結果を出したとする研究投稿の中で、その名称を明らかにした。 対象分野は高次元幾何、符号理論、量子複雑性など多岐にわたり、その一部では「非ソフィック群の存在」を示す証明も含まれている。
アピールの軸は計算速度ではなく「持久力」だ。 Astraは、1つの問題に対して複数のエージェントを束ね、数時間から場合によっては数日にわたり協調して探索を続ける。
先行報道ではAstraはSol、Terra、Luna各モデル群と並ぶ位置付けと伝えられており、 具体的な公開時期や、「GPT-6」あるいは「GPT-5.7」といった名称を採用するかどうかも未定とされている。 Sam Altman最高経営責任者（CEO）はワシントンで政策当局者向けに同システムをデモしており、 Astraファミリーは、米連邦政府が構想する事前承認フレームワークの初の審査対象になるとの観測もある。
関連記事: AIインフラ：給与日前借り業者、データセンター支配狙う「必死の10億ドル転身劇」
Claude Opus 5：料金とベンチマーク
Anthropicは7月24日、「Claude Opus 5」を正式リリースした。
料金は入力が100万トークン当たり5ドル、出力が100万トークン当たり25ドルで、Opus 4.8と同水準だ。
同モデルは、AI性能指標「Artificial Analysis Intelligence Index」で61点を記録し、
競合のFable 5に比べ、1タスク当たりのコストがおおむね半分とされる。
コンテキストウィンドウは100万トークン、出力上限は12万8000トークン。 ベンチマークでは、汎用推論テストARC-AGI-3で30.2％と、公開されている次点モデルのおよそ3倍のスコアを叩き出し、 Terminal-Bench 2.1（最大負荷条件）では89.1％を記録した。 Anthropicの広報担当者は、導入を検討する企業に対し、 競合モデルと比較する際は「制約条件が明確な単発タスク」と「長期的な複雑タスク」の両方で試験運用するよう助言している。
Astraへの専門家の評価
Astraには、現時点で価格体系もベンチマークスコアも外部検証も存在しない。 投資家や企業ユーザーは、既に出荷済みの製品と、研究成果としての主張とを天秤にかける必要がある。
英マンチェスター大学の数学者Thomas Bloom氏は、X上で今回の10件の成果を「ビッグニュース」と評し、
OpenAIが以前公表した別の証明よりも高く評価すると投稿した。
他方でBloom氏は、「このモデルが数学者を置き換える」といった過剰な期待には異議を唱えている。 そもそもモデルは人間が構築したものであり、その学習には数学者が蓄積してきた論文や成果が用いられているからだ。 OpenAI研究者のNoam Brown氏も、今回の成果はいずれもミレニアム懸賞問題には該当しないとした上で、 1問題あたりの計算コストも「それほど大きくはなかった」と説明している。
認知科学者のGary Marcus氏は、自身のSubstackで、Astraの成果は「実在するが、分野が解決されたかのように誇張されている」と批判的な見解を示した。
今回の発表は、同じ「長期地平線」系統のモデルが、5月に離散幾何の80年来の難問「Erdosの単位距離予想」を反証した成果に続くものでもある。 その際、フィールズ賞受賞者のTim Gowers氏は、その証明について 「ためらいなくAnnals of Mathematicsへの掲載を推薦する」と高く評価していた。
