2026年の夏、OpenAIは奇妙な二手を打った。8月1日、次期主力モデル「Astra」の存在を、製品発表ではなく数学の研究成果として世に出した。10件の未解決問題を解いた、という形で。そしてわずか6日後の8月7日、そのAstraの開発の一部を自ら停止した。理由はサイバー攻撃能力が社内の安全基準で史上初の「Critical(重大)」判定に達したから——。
ChatGPTの「次」と目されるモデルが、デビュー前から強すぎて止められている。本稿では、憶測が飛び交うAstraについて「確定していること」と「まだ噂にすぎないこと」を仕分けする。
確定情報①: 数学の未解決問題を10件解いた
OpenAIが8月1日に公開した研究発表「Ten advances in mathematics and theoretical computer science」が、Astraの名前が公式に出た最初の場だ。社内版Astraが、いずれも10年以上未解決だった数学・理論計算機科学の問題10件を解いたとし、249ページの論文と、証明の正しさを機械検証できるLean 4形式の証明書を全件分、オープンライセンスで公開した。
| 解いた問題(一部) | 分野 | 未解決だった期間 |
|---|---|---|
| 非sofic群の明示的構成 | 群論 | 1999年の提起以来 |
| 高次元の球充填密度の上界改善 | 幾何学 | 1978年以来、一般上界の初改善 |
| エルデシュの問題集から3問(第183問ほか) | 組合せ論 | 数十年規模 |
| コンヌの剛性予想の反証 | 作用素環論 | 長年の予想を否定的に解決 |
| 2人量子ゲームの並列反復定理 | 理論計算機科学 | 長年の未解決問題 |
OpenAIによれば、10件すべての計算費用は合計およそ2,000ドル。人類が数十年かけて解けなかった問題群の「解答一式」が、ノートPC1台分より安い計算資源で出てきたことになる。ただし数学界の受け止めには段階がある。形式検証は通っていても、学術誌の査読はこれからだ。
openai.com Ten advances in mathematics and theoretical computer science Astraの名前が初めて公式に出た一次情報。10件の問題の内訳と論文、Lean証明書への導線がまとまっている。確定情報②: 強すぎて、止まった
祝賀ムードは6日で終わる。8月7日、OpenAIはAstraの開発の一部を停止したと明らかにした。社内評価で、Astraのサイバー能力が同社の安全指針(Preparedness Framework)の最高区分「Critical」に達した可能性が示されたためだ。この区分は、モデルが人間の助けなしに未知の脆弱性(ゼロデイ)を自力で発見・悪用できる水準を意味し、該当判定は同社史上初となる。
対応も具体的だ。ネットワークを制限した隔離環境への移行、要件を満たさない社内利用の停止、展開向けの強化学習トレーニングの一時停止。さらに政府機関やAI安全組織と連携して能力検証を進めるという。Bloomberg、TechCrunch、Axiosがそれぞれ独立に報じており、この停止自体は確定情報とみていい。
噂の仕分け——「GPT-6」も「発売日」もまだ無い
ここから先は霧の中だ。「AstraはGPT-6として出る」「複数の専門サブモデルに仕事を振るマルチエージェント構成だ」といった記事が出回っているが、OpenAIはどれも公式に認めていない。リリース日、モデルカード、API、価格、そしてChatGPTへの搭載時期——すべて未発表である。確かなのは「Astraという次期モデルが社内に存在し、数学で実績を示し、いま安全検証で立ち止まっている」ところまでだ。
文脈として押さえたいのは、OpenAIが上場準備という異例の局面にあることだ。株式市場に向かう会社にとって、次期モデルは最大の商品であり、同時に最大のリスク要因でもある。「Critical判定で自主停止」という発表は、誠実な安全対応であると同時に、統治能力を示す対外メッセージとして機能していることも見逃せない。
同じ夏、ライバルは逆の一手を打った
興味深いのは対岸の動きだ。Astraの停止から3週間あまり、AnthropicはClaude Fable 5.1を出荷した。こちらはサイバー分野の誤検知を60%減らし、脆弱性の「発見」用途を解禁している。片や閾値を超えて立ち止まり、片や安全弁を精緻化して前へ出た。同じ危険領域に対する2つの解法が、同じ夏に並んだ形である。
どちらが正しいかは、まだ誰にも採点できない。ただ、数学の未解決問題が2,000ドルで解け、その同じ能力がゼロデイ発見に転用できる——この二面性こそが、フロンティアAIの現在地そのものだ。能力と危険が同じ蛇口から出る以上、蛇口の設計思想が各社の個性になる、とは思えないだろうか。
見えない発売日より、見えている問い
Astraがいつ、どんな名前で、どんな形で世に出るのかは分からない。だが検証すべき問いははっきりしている。数学10件の証明は査読に耐えるか。Critical判定は解除されるのか、それとも能力を削っての出荷になるのか。そしてChatGPTを使う私たちの手元には、どこまでの能力が降りてくるのだろう。発売日の噂を追うより、この3つの答えを待つほうが本質に近い。続報が出しだい、このサイトで検証する。
出典: OpenAI公式(Ten advances in mathematics and theoretical computer science) / Bloomberg(Astraの一部開発停止) / TechCrunch(セキュリティ懸念による減速) / Axios(Preparedness FrameworkのCritical閾値)
