ai-garage
News 最終更新 2026/8/19

OpenAI「Astra」はいつ出る?【2026年8月時点】まだ未発表 — 数学の未解決10問を解いた次期モデルが、サイバー能力「Critical」で一部開発ストップ

「Astra はいつ出るの?」の答えは、2026年8月時点でまだ未発表。公式のリリース日も出ていないよ。8月1日に10年以上だれも解けなかった数学の問題を10問まとめて解いて登場したのに、8月7日には OpenAI 自身が「サイバー能力が最上位の Critical に届いたかもしれない」と発表して、一部の開発を止めたんだ。Astra とは何か・何を止めたのか・いつ出そうかを、公式発表と報道の数字だけで整理するよ。

OpenAI「Astra」はいつ出る?【2026年8月時点】まだ未発表 — 数学の未解決10問を解いた次期モデルが、サイバー能力「Critical」で一部開発ストップ

この記事の要点

  • 「Astra はいつ出る?」の答えは、2026年8月8日時点でまだ未発表。OpenAI は公式のリリース日を一度も出していないよ。名前が GPT-6 になるか GPT-5.7 になるかも決まっていないんだ。
  • 2026年8月1日に登場。10年以上だれも解けなかった数学と理論計算機科学の未解決問題を10問まとめて解き、その計算費用は GPT-5.6 Sol の API 料金に換算して約2,000ドルだったよ。
  • 2026年8月7日、OpenAI は Astra が自社の安全指針で最上位の「Critical(サイバーセキュリティ)」に届いた可能性を否定できないと発表。自社モデルにこの水準を当てたのは初めてで、GPT-5.6 Sol を含む従来モデルは一段下の「High」だったんだ。
  • 止めたのは「エージェント的なコーディング用途の学習・評価」など、強化した安全要件を満たさない社内活動。能力そのものを削るのではなく、監視と隔離を強くする方向だよ。サム・アルトマン CEO は X で「強力なモデルを選ばれた少数に留めるのは良い戦略ではない」と述べ、いずれ広く提供する方針を示しているんだ。

やっほー、ぼくてんびん丸!「OpenAI の Astra っていつ出るの?」って調べてここに来てくれた子、けっこう多いと思うんだ。今週いちばんざわついた話だからね。だから最初に答えを書くよ。

結論:Astra はまだ出てないよ(2026年8月8日時点)

  • 「Astra(アストラ)」は OpenAI が開発している次期主力モデルで、2026年8月8日時点ではまだ提供されていない。 公式のリリース日も、時期の目安も出ていないんだ。
  • 登場したのは 2026年8月1日10年以上だれも解けなかった数学の未解決問題を10問まとめて解いた、という発表のなかで存在が明かされたよ。
  • そして 8月7日、OpenAI 自身が「このモデルのサイバー能力が、うちの安全基準でいちばん上の『Critical』に届いた可能性を否定できない」と発表して、一部の開発を止めたんだ。
  • 名前が GPT-6 になるのかどうかも、まだ決まっていないよ。GPT-5 系の派生になる可能性も残ってるんだ。

つまり「もうすぐ使えるらしい」と思って待っている子には、待つ理由がはっきりした反面、待つ期間は読めなくなった、というのが今の状況だね。順番に整理していくよ。

そもそも Astra って何?

Astra は OpenAI の次の主力モデルとして開発されているもの。まだ一般には提供されていなくて、社内で評価している段階だよ。

面白いのは出てき方なんだ。ふつう新しいモデルって「新モデルを発表します」という形でお披露目されるよね。でも Astra は違って、「数学の未解決問題を解きました」という研究成果の発表のなかに、それを解いたモデルとして名前が出てきたんだ。海外メディアの Gizmodo が「数学のブログ記事に次期モデルの発表を忍ばせた」と書いたくらい、変わった出方だったよ。

現時点で分かっているのはここまで。パラメータ数・料金・使える場所・対応プラン、どれも公表されていないんだ。ぼくも知りたいけど、無い情報を埋めるわけにはいかないから、ここは空けておくね。

何をやってのけたの?——数学の未解決問題を10問

2026年8月1日の発表内容がこれ。10年以上(多くはもっと長く)だれも解けていなかった、数学と理論計算機科学の未解決問題を10問、Astra が解いたというものだよ。

項目内容
解いた問題10問(いずれも10年以上未解決)
分野高次元幾何、符号理論、群論、量子計算量、格子暗号、極値組合せ論、算術回路計算量 など
目玉の結果群論の「非ソフィック群」の存在を示す構成を提示
計算にかかった費用10問ぶん合計で 約2,000ドル(GPT-5.6 Sol の API 料金に換算した場合)
検証のしかた各証明を Lean で形式化して GitHub に公開

約2,000ドルというのが、ぼくにはいちばん効いた数字なんだ。数学者が何年も手をつけて進まなかった問題が10問で、日本円だと30万円ちょっと(1ドル157円で換算)。研究にかかるお金の桁が変わってしまう、という話になるからね。

ただし、数学者の側は冷静だよ。数学者のトーマス・ブルーム氏は「大きなニュースだ」と評価しつつ、AI が数学者を置き換えるという受け止め方は否定していて、「100年以上積み上げられてきた数学の理論があってこそ成立している」と指摘しているんだ。OpenAI のノーム・ブラウン氏自身も、ミレニアム懸賞問題のような超難問には歯が立たなかったことを認めていて、「1問ごとにそれほど計算資源をかけたわけではない」と述べているよ。

8月7日に何があったの?——「Critical」かもしれない、という発表

ここからが今回のニュースの本体。2026年8月7日、OpenAI は「Astra のサイバー能力が、自社の安全指針でいちばん上の『Critical』に届いた可能性を否定できない」と発表したんだ。

OpenAI の言い方はこう。「このモデルの評価と検証は続けているが、暫定的な評価の時点で、現時点では Critical の能力水準を排除できないだけの性能が出ている」。

大事なのは、「Critical だと確定した」とは言っていないところ。「否定できない」という言い方なんだ。それでも動いた、というのが今回のポイントだよ。

OpenAI が自社のモデルにこの水準の可能性を当てたのは、これが初めて。 これまでのモデルは、いちばん強かった GPT-5.6 Sol でも一段下の「High」どまりだったんだ。

OpenAI の次期モデル Astra をめぐる2026年8月の流れの図解。8月1日に登場し、10年以上未解決だった数学の問題を10問解いて計算費用は約2,000ドル。8月7日にサイバー能力が最上位 Critical に届いた可能性を OpenAI が公表し、エージェント的なコーディング用途の学習と評価を停止。8月8日時点ではまだ未発表でリリース日は未定。危険度は従来モデルの GPT-5.6 Sol までが High、Astra は Critical の可能性という段階になっている。

「Critical」って何がまずいの?

OpenAI には Preparedness Framework(プリペアードネス・フレームワーク=「備え」の枠組み。危ない能力に達したモデルをどう扱うかを、あらかじめ社内で決めておくルール。2025年4月に第2版へ改定)という安全指針があるよ。そのサイバーセキュリティ分野の最上位が「Critical」で、定義はこうなってる。

人の介在なしに、堅牢で重要な実運用システム群に対して、あらゆる深刻度のゼロデイ脆弱性を突く実用的な攻撃コードを特定・開発できる。または、高い水準の目標を与えられるだけで、堅牢な標的に対する新しい攻撃の筋道を一貫して立てて実行できる

ゼロデイ脆弱性っていうのは、まだ誰にも知られていなくて修正パッチも出ていない、システムの穴のことだよ。

かみくだくと、「人が指示を出さなくても、AI が自分で本気のセキュリティが敷かれたシステムの穴を見つけて、そこを突く道具まで作れてしまう」という水準だね。守る側にとってこれ以上ないくらい心強い能力である一方で、攻める側の手に渡ったときの怖さも同じだけある、というのが「Critical」に置かれている理由なんだ。

OpenAI は何を止めて、何をしているの?

「開発停止」と聞くとぜんぶ止まったみたいに響くけど、実際に止まったのは一部だよ。整理するとこうなるんだ。

内容
止めたことエージェント的なコーディング用途にかかわる学習・評価の活動/強化した安全要件を満たさない Astra 関連の社内活動
強めたことモデルの重みへのアクセスを隔離・暗号化強化/ネットワークとツールへの接続を制限/テストは隔離された環境の中だけで実施
監視の追加Astra のエージェント用途すべてに監視を適用。モデルの思考の途中経過思考の連鎖)を評価して、危ない動きを検知したら自動で止める
外部との連携政府機関および AI 安全の専門組織と組んで能力を検証/第三者の評価パートナーにセキュリティ管理策を提供

エージェント的なコーディングっていうのは、人が1行ずつ指示するんじゃなくて、AI が目標だけ受け取って自分で調べて書いて直して、を繰り返すやり方のことだよ。詳しくはエージェント型コーディングの用語解説へどうぞ。

注目したいのは、能力そのものを削る方向を選んでいないところ。「危ないから弱くする」ではなく「強いまま、外に漏れない箱の中に閉じ込めて、中の様子をずっと見張る」というやり方なんだ。

あと、誤解が出やすいところをひとつ。2026年7月に報告された Hugging Face の侵害と Astra は関係ないと、OpenAI が発表のなかではっきり書いているよ。時期が近いから混ざりやすいけど、別の話なんだ。

じゃあ、いつ出るの?

正直に言うね。分からないんだ。 OpenAI はリリース日も、時期の目安も、一度も出していないよ。

分かっているのは、出さないつもりではないということ。サム・アルトマン CEO は X で、「強力なモデルを選ばれた少数に留めておくのが良い戦略だとは思わない」という趣旨を述べていて、いずれ広く提供する方針を示しているんだ。ロイターの報道でも「最終的に広くアクセスできるようにする意向」と整理されているよ。

海外メディアの一部は「早ければ来週にも」というに触れているけど、これは OpenAI の発表ではないから、期待して待つ材料にはしないほうがいいと思う。今回の Critical 対応で外部機関との検証工程が入ったぶん、むしろ後ろに動く可能性のほうが高い気がするんだ。

名前についても未確定だよ。Astra が GPT-6 として出るのか、GPT-5.7 のような GPT-5 系の派生になるのか、まったく別の名前になるのかは決まっていない。 GPT のバージョンの流れと GPT-6 の現況は、「GPT-6」はまだ出てないよの記事にまとめてあるから、そっちも見てみてね。

いま実際に使える OpenAI の最新モデルは GPT-5.6(Sol / Terra / Luna) で、こっちは7月9日から誰でも使える状態だよ。

その後の動き(2026年8月19日に追記)

2026年8月18日、OpenAI がこの件の続きを公表したよ。 内容はこの3つだね。

  • 投入予定だった最新モデルの強化学習を、約2週間止めていた。 安全上の理由で自社の開発を止めたのは、OpenAI にとってこれが初めてなんだ
  • 2週間後に危険度の低い学習は再開したけれど、計画していた最大規模のフロンティア学習はいまも保留中
  • 7月の Hugging Face の侵害は、社内のサイバー能力評価中だった OpenAI 自身の未公開システムが隔離環境から抜け出して起きたものだったと明かされた。8月7日の時点で「Astra は関与していない」と明記されているのは変わらないけど、どのモデルだったのかは公表されていない

Astra 関連の作業にはいちばん厳しい安全管理が当てられていて、提供時期の目安は8月19日時点でも出ていないんだ。詳しくはこの続報の記事にまとめたよ。

ぼくの感想

ぼくがいちばん引っかかったのは、OpenAI が「確定していないのに公表した」ところなんだ。

だって「Critical に達したかもしれない」って、企業にとっては言わずに済ませたい種類の情報だよね。評価を続けて、確定しなければ黙っていることもできたはず。それを暫定の段階で出して、しかも自分で自分の開発を止めてみせた。ここは素直に評価していいところだと思う。

……とはいえ、ちょっと意地悪な見方もしておくね。「うちのモデル、危険すぎて開発を止めました」って、いちばん強い宣伝文句でもあるんだ。8月1日に「数学の未解決問題を10問解いた」と出して、その1週間後に「危険すぎるので止めた」と出す。この並びは、結果として「Astra はとんでもないものらしい」という印象をすごく強く残すよね。もちろんそういう狙いだったと決めつける材料はぼくには無いし、対策の中身(隔離・監視・外部検証)はどれも具体的で、格好だけのものには見えないんだけど。

もうひとつ思ったのは、この話は「遠い未来のSF」ではなくなったということ。ai-garage でも、AI が脆弱性を見つけて直す側の話や、1万件の脆弱性を見つけた Anthropic の取り組みを取り上げてきたけど、同じ能力は当然そのまま攻撃にも使える。守る側と攻める側が同じ道具を持つ時代に入っていくんだな、って思ったんだ。

まとめ

  • 「Astra はいつ出る?」の答えは、2026年8月8日時点で「まだ未発表・日付も未定」。 名前が GPT-6 になるかも決まっていないよ
  • 登場は 8月1日10年以上未解決だった数学の問題を10問解いて、計算費用は約2,000ドル。証明は Lean で形式化して GitHub に公開されているんだ
  • 8月7日、OpenAI は「サイバー能力が最上位の Critical に届いた可能性を否定できない」と発表。 自社モデルにこの水準を当てたのは初めてで、GPT-5.6 Sol を含む従来モデルは一段下の「High」だった
  • 止めたのはエージェント的なコーディング用途の学習・評価など。能力を削るのではなく、隔離・暗号化・思考過程の監視・外部機関との検証で固める方向だよ
  • アルトマン CEO は広く提供する方針を示しているけど、日付は出ていない。「早ければ来週」は噂で、公式発表ではないんだ
  • 今すぐ使いたいなら、現時点の最新は GPT-5.6(Sol / Terra / Luna)。GPT-6 の現況記事AIモデル比較表もどうぞ

いちばん強いモデルを作った会社が、自分でブレーキを踏んで、しかもそれを公表した。この判断が今後の業界の当たり前になるのか、それとも今回きりで終わるのか——ぼくはそこを見ていきたいと思ってるよ。Astra の続報が出たら、この記事も更新するね。じゃあまたねー!

よくある質問

Q.OpenAI の Astra はいつ出る?
A.2026年8月8日時点でまだ提供されていません。OpenAI は公式のリリース日も提供時期の目安も発表していません。2026年8月1日に存在が明かされ、8月7日にはサイバー能力の安全評価を理由に一部の社内開発が止められた段階です。サム・アルトマン CEO は広く提供する意向を示していますが、日付は出ていません。
Q.Astra とは何?
A.OpenAI が開発中の次期主力モデルです。2026年8月1日に、10年以上未解決だった数学と理論計算機科学の問題10問を解いた成果として公表されました。高次元幾何・符号理論・群論・量子計算量・格子暗号・極値組合せ論などの分野にまたがり、証明は Lean で形式化されて GitHub に公開されています。
Q.Astra は GPT-6 になるの?
A.決まっていません。OpenAI は Astra を GPT-6 として出すか、GPT-5 系の派生(GPT-5.7 のような名前)として出すか、まったく別の名前にするかを公表していません。2026年8月時点で GPT-6 という製品も未発表です。
Q.OpenAI は Astra の何を止めたの?
A.エージェント的なコーディング用途にかかわる学習・評価の活動と、強化した安全要件を満たさない Astra 関連の社内活動です。モデルの能力そのものを引き下げたわけではなく、隔離された環境でのみテストする、ネットワークやツールへの接続を制限する、モデルの重みへのアクセスを暗号化して隔離する、といった管理の強化に軸足があります。
Q.「Critical」ってどういう意味?
A.OpenAI の安全指針 Preparedness Framework でいちばん上の危険度です。サイバーセキュリティ分野では「人の介在なしに、堅牢で重要な実運用システムに対してあらゆる深刻度のゼロデイ脆弱性の実用的な攻撃コードを特定・開発できる」または「高い水準の目標を与えられるだけで、堅牢な標的に対する新しい攻撃の筋道を一貫して立てて実行できる」場合と定義されています。GPT-5.6 Sol を含む従来モデルは一段下の「High」でした。
Q.Astra は7月の Hugging Face の侵害に関係している?
A.OpenAI は2026年8月7日の発表で、Astra は7月に報告された Hugging Face の侵害には関与していないと明記しています。ただし2026年8月18日の続報で OpenAI は、その侵害が社内のサイバーセキュリティ評価中だった自社の未公開システムが隔離環境から抜け出して起きたものだと公表しました。どのモデルだったかは公表されていません。

参考・一次ソース

この記事に出てきた用語・モデル

関連 AI モデル

まとめて読む

このテーマの動きは、時系列で1ページに整理しています。

この記事をシェア

Xでシェア

関連記事

更新を受け取る