OpenAI Astraとは?GPT-6 Astraの料金・性能・使えるプラン【2026年9月】

この記事のポイント
OpenAI Astraは2026年9月3日にGPT-6 Astraとして正式リリースされ、9月5日に全有料プランへの展開が完了。API料金$10/$50、105万トークン、公式ベンチマーク、サイバーCritical認定、Astraが負けている項目まで公式情報ベースで整理します。
OpenAI Astraは、2026年9月3日(米国時間)に「GPT-6 Astra」として正式リリースされたOpenAIの現行フラッグシップモデルです。9月5日には ChatGPT の Plus・Pro・Business・Enterprise を含む全有料プランへの展開が完了し、API・Codex・GitHub Copilot・Microsoft Azure・AWS Bedrock でも利用できる状態になっています。
8月1日の研究ブログで名前だけが明かされた「次期メジャーモデル」の段階から、約1か月で製品として出てきた形です。同時に、OpenAI の Preparedness Framework でサイバーセキュリティ能力が史上初めて「Critical(重大)」と判定されたモデルでもあり、能力とリスクの両方を理解しないと導入判断を誤ります。
この記事でわかること:
- GPT-6 Astra を「いつ・どのプランで・いくらで」使えるのか(API/ChatGPT/Codex/Copilot)
- API 料金 $10/$50 の内訳と、コスト試算で見落としやすい 272K トークン超の割増条件
- 公式ベンチマークの実数値と、Astra が競合に負けている項目
- サイバー「Critical」認定が実務にもたらす影響(PoC 作成の拒否、API でのタスク停止)
- OpenAI 自身が公表した「監視しづらくなった」という後退点
- 数学・理論計算機科学10件と Lean 4 形式化が保証する範囲・しない範囲
- 「米政府審査の対象」「マルチエージェントが解いた」など、誤読しやすい表現の正確な中身
生成AIの技術選定を担うエンジニア・情報システム部門、ChatGPT の上位プラン契約を検討している経営者・法人担当者、AI ガバナンスを見る法務・セキュリティ担当者に向けた内容です。
GPT-6 Astraの要点まとめ

次の数値はすべて2026年9月6日時点で、OpenAI 公式サイト・API モデルページ・システムカードで確認できる内容です。
項目 | 内容 |
|---|---|
正式名称 | GPT-6 Astra(API model ID: |
開発元 | OpenAI |
リリース | 2026年9月3日(限定組織)→ 9月5日に全有料プランへ展開完了 |
位置づけ | GPT-5.6 世代(Sol / Terra / Luna)の後継フラッグシップ |
得意領域(公式) | コンピュータ操作、ブラウジング、ソフトウェア開発、サイバー、科学、専門業務 |
コンテキスト | 1,050,000トークン(最大入力922,000/最大出力128,000) |
知識カットオフ | 2026年4月30日 |
API 料金 | 入力 $10 / 出力 $50(100万トークンあたり) |
ChatGPT | Plus($20)以上で利用可。Free・Go では利用不可 |
安全性の判定 | サイバーセキュリティ Critical(OpenAI 史上初)、生物・化学 High |
主な制約 | 高度な攻撃系タスクは拒否。Realtime・Fine-tuning・Embeddings・画像生成は非対応 |
特に導入判断に効いてくるのは、提供状況・性能の強弱・運用上の制約という3つの側面です。
① 「使えるかどうか」はもう論点ではない
9月3日時点では限定組織のみでしたが、9月5日に Plus を含む有料プランへ行き渡りました。展開が予定より遅れたことへの補償として、OpenAI は Plus / Pro / Business ユーザーに利用枠のフルリセット(banked reset)を付与しています。
② 「全方位で最強」ではない
公式が掲載している比較表でも、Humanity's Last Exam(Fable 5.1 が 65.0% で Astra の 57.2% を上回る)、Artificial Analysis Intelligence Index v4.1.1(Fable 5.1 65.7 > Astra 61.2)、Coding Agent Index v1.4(Opus 5 68.1 > Astra 67.0)では競合が上です。強いのはコンピュータ操作・長文脈・サイバー・数学の領域です。
③ 能力の高さが、そのまま運用上の摩擦になる
サイバー Critical 認定に伴い、攻撃寄りのタスクは拒否されます。さらに公式が「サイバーと直接関係ない作業や長時間動作するエージェントタスクも誤ってフラグされ、減速・一時停止・停止されうる」と明記しています。ChatGPT や Codex では確認を求められ、API ではタスクが停止します。
OpenAI Astraとは:研究ブログの一文から正式リリースまで
Astra は、OpenAI が「GPT-6 Astra」として2026年9月3日に公開した現行の最上位モデルです。公式コピーは "the world's most intelligent and aligned model"、モデルページの説明は「最も難しいエンドツーエンドの仕事のために作られた、当社で最も能力の高いモデル」となっています。
登場の仕方は異例でした。名前が公式文書に初めて出たのは2026年8月1日の研究ブログ「Ten advances in mathematics and theoretical computer science」で、10件の数学・理論計算機科学の問題に成果を出したのが「an internal version of Astra, our next major model(次期メジャーモデル Astra の社内版)」だと記された一文です。製品発表ではなく研究発表の脚注的な記述で存在が明かされ、その約1か月後に製品として出てきた形になります。
名称の整理:Astra / GPT-6 Astra / GPT-6 Pro
呼び方が複数あり、混乱しやすい部分です。
呼び方 | 指しているもの |
|---|---|
Astra | モデルのコードネーム。8月時点の呼称 |
GPT-6 Astra | 正式な製品名。API では |
GPT-6 Pro | ChatGPT 上での表示名。公式ヘルプの表記は「GPT-6 Pro, powered by GPT-6 Astra」。Pro($100 / $200)・Business・Enterprise が対象で、API には同名モデルは存在しない |
GPT-5.6 Sol / Terra / Luna | 前世代。現在も併売されており、Luna は Free / Go の既定モデル |
なお、Google が過去に使った「Project Astra」とは無関係です。名称が似ているだけで、開発元も内容も別物です。
リリースまでの時系列

日付(米国時間) | 出来事 |
|---|---|
2026-08-01 | 研究ブログで「Astra」の名が初出(数学・理論計算機科学10件) |
2026-08-07 | 「Critical 到達の可能性を排除できない」として社内活動の一部を停止 |
2026-08-28 | 新セキュリティ要件を適用したうえで大規模フロンティア RL ランを再開 |
2026-09-01 | 「Path to Astra」公開。サイバー Critical 認定を確定 |
2026-09-03 | GPT-6 Astra 正式リリース(限定組織から展開開始)+システムカード公開 |
2026-09-04 | Pro / Enterprise / Business Premium と API へ展開。GitHub Copilot でも GA |
2026-09-05 | Plus・Business を含む展開が完了。遅延の補償として利用枠のフルリセットを付与 |
8月に開発を一時停止した経緯はOpenAIがAstraの開発を一部停止した件の詳細で、その背景にあった7月の侵害インシデントはOpenAIのモデルがHugging Faceを侵害した件、強化学習の停止と再開条件はフロンティアAIの強化学習を一部停止した件でそれぞれ整理しています。
どのプラン・どの経路で使えるか

2026年9月5日時点で、GPT-6 Astra は ChatGPT の有料プラン全体、OpenAI API、Codex、GitHub Copilot、Microsoft Azure、AWS Bedrock で利用できます。 Free と Go では使えません。
ChatGPT プラン別の可否
プラン | 月額(公式表記・USD) | GPT-6 Astra |
|---|---|---|
Free | $0 | 利用不可(既定は GPT-5.6 Luna) |
Go | $8 | 利用不可 |
Plus | $20 | 利用可 |
Pro | From $100($100 と $200 の2段階) | 拡張枠で利用可+「GPT-6 Pro」が使える |
Business | Standard $25/席・月、Premium $125/席・月(公式ページで要確認) | 利用可(Premium は全枠を Astra に充当可) |
Enterprise | 個別見積 | 利用可。ただし管理者が有効化するまで既定 OFF |
日本語メディアではあまり触れられていませんが、Pro プランが従来の $200 単一から「From $100」の2段階制に変わっています。公式の説明は「5倍または20倍の利用量」「Pro reasoning powered by GPT-6 Astra」です。円建て価格は公式日本語ページで未確認のため、実際の請求額はChatGPTの料金プラン一覧と公式ページで確認してください。
法人が最初につまずく「利用量の上限」
契約前に確認しておくべき数字は、月額よりも1回あたりの使用可能量です。公式ヘルプが示す ChatGPT Business の目安(5時間ウィンドウあたりのメッセージ数)は次のとおりです。
モデル | Standard シートの目安 |
|---|---|
GPT-6 Astra | 5〜45メッセージ |
GPT-5.6 Sol | 10〜100メッセージ |
GPT-5.6 Terra | 25〜200メッセージ |
GPT-5.6 Luna | 250〜2,000メッセージ |
Premium シートは Standard の5倍で、5時間制限もありません。加えて「GPT-6 Pro」のメッセージ枠は Standard シートが月15回、Premium シートが週50回(GPT-5.6 Sol Pro と共有)です。Astra を常用モデルにする前提でシート数を見積もると、想定より早く枠を使い切ります。
API・Codex・Copilot・クラウド
経路 | 提供状況(2026-09-06 時点) |
|---|---|
OpenAI API |
|
Codex | 対応済み。Codex CLI は 0.153.0 以降が必須(公式ヘルプ明記)。ChatGPT デスクトップアプリも最新版が必要 |
GitHub Copilot | 2026年9月4日に GA。対象は Pro+ / Max / Business / Enterprise。課金は提供元の list pricing による従量制 |
Microsoft Azure | 公式ブログに提供の記載あり。対応リージョン・料金・GA 時期は未確認 |
AWS Bedrock | 同上。詳細は未確認 |
Codex CLI のバージョン要件は、社内展開でつまずきやすいポイントです。旧バージョンのまま配布すると Astra が選択肢に出てきません。Codex 側の使い方はOpenAI Codexの解説、Copilot の課金体系はGitHub Copilotの使用量ベース課金、Bedrock 提供の背景はOpenAIとAWSの戦略パートナーシップで扱っています。
GPT-6 Astraの料金:$10/$50と、見落としやすい割増条件

API 料金は100万トークンあたり入力 $10・出力 $50 で、GPT-5.6 Sol($4/$20)のちょうど2.5倍です。 ただし実際の請求額は、この単価だけでは決まりません。
API 標準レート(100万トークンあたり)
項目 | GPT-6 Astra | GPT-5.6 Sol |
|---|---|---|
入力 | $10 | $4 |
キャッシュ入力 | $1 | $0.4 |
キャッシュ書き込み | $12.5 | $5(入力の1.25倍) |
出力 | $50 | $20 |
※ Sol の $4/$20 は「少なくとも2026年11月21日まで」の期間限定価格と公式に明記されています。
コスト試算で必ず考慮する4条件
- 272Kトークンを超える入力プロンプトは、リクエスト全体が割増になる — 入力・キャッシュが2倍、出力が1.5倍。105万トークンのコンテキストを謳っていますが、27万トークンを超えた時点で単価が跳ね上がる設計です。長大な文書をまるごと投げる使い方は、想定の2倍のコストになります
- Batch / Flex は標準レートの50% — 即時性が不要なバッチ処理なら実質 $5/$25
- Fast mode は該当レートの2倍 — 公式説明は「標準の最大2倍の速度」。速度と引き換えに単価も2倍
- キャッシュ書き込みは非キャッシュ入力の1.25倍 — プロンプトキャッシュは読み出しが $1 と安い一方、書き込み時にコストが乗ります
つまり、同じ「$10/$50」でも、Batch でのバルク処理なら $5/$25、272K超のプロンプトを Fast mode で流すなら $40/$150 相当まで振れます。 単価表だけで見積もると外します。
ChatGPT 側の課金の考え方
ChatGPT 上での Astra の利用は既存のサブスクリプション枠に含まれ、枠を超えた分はクレジット購入で追加できます。API のような従量課金ではないため、「重い作業は ChatGPT の Pro 枠、定型的な大量処理は API の Batch」という分け方が、現時点ではコスト効率の良い組み合わせになります。他社モデルとの単価比較は生成AIの料金比較にまとめています。
GPT-6 Astraでできること
公式が最も押し出しているのは、チャットの賢さではなく「PC を操作して業務を最後まで終わらせる」能力です。
API 仕様
項目 | 内容 |
|---|---|
コンテキストウィンドウ | 1,050,000トークン |
最大入力/最大出力 | 922,000/128,000トークン |
入力モダリティ | テキスト、画像 |
出力モダリティ | テキストのみ |
知識カットオフ | 2026年4月30日 |
推論エフォート |
|
対応エンドポイント | Chat Completions、Responses、Batch |
対応機能 | streaming、structured_outputs、function_calling、file_search、image_input、web_search、prompt_caching |
対応ツール | web_search、file_search、image_generation、code_interpreter、hosted_shell、apply_patch、skills、computer_use、mcp、tool_search |
レートリミット(Tier 5) | 15,000 RPM/40,000,000 TPM |
公式が挙げる主な強み
コンピュータ操作(computer use)
フォーム入力、CRM のレコード更新、カレンダー整理、オンライン調査と要約、科学データの分析とプロット生成、Web サイト作成とフロントエンド QA、ソフトウェアの自動インストール・テスト・トラブルシュートが例として挙げられています。実装面はOpenAI Codex Computer Useの使い方が参考になります。
速度効率の改善
OSWorld 2.0 のレイテンシシミュレーションで、Sol の「65.7%・約75分/タスク」に対し Astra は「72.6%・約40分/タスク」。精度を上げながら所要時間を約47%短縮しています。Mind2Web では Codex ハーネスの更新と合わせてタスク完了が1.9倍高速になったと公表されています。エージェント運用では、単価より「1タスクあたりの総時間」が効くため、この改善は実務的な意味が大きい部分です。
コンテキストをまたいだ記憶(Codex)
従来は compaction(要約圧縮)で失われていた「なぜ失敗したか」「どう振る舞ったか」といった詳細をノートとして保持し、過去のコンテキストを検索できるようになりました。現時点では config.toml で有効化する実験機能ですが、数週間内に Astra の既定になる予定と公式が説明しています。
曖昧な指示の扱い
routine な情報の欠落は文脈から埋め、結果が変わりうる点だけ質問する挙動に訓練されています。Codex では質問を非同期に出しつつ、依存しない作業を止めずに進めます。
専門業務のアウトプット
既存テンプレートを守ったスライド・文書・スプレッドシートの生成。余計な情報を出力に混ぜないよう訓練された点が明記されています。
科学・数学
FrontierMath Tier 4 (v2) で 97.6%(公式ブログ本文では「98%」と表記)。リリース同日に素数間隔に関する新たな2件の結果も公表されました。
Sites 連携
ChatGPT の Sites 機能で、プロンプトから Web サイト・Web アプリ・ゲームを作成し、ホスト・共有できます。
できないこと・制約:導入前に必ず確認する
強みより先に把握すべきなのが制約です。Astra は「何でもできる万能モデル」ではなく、意図的に用途を絞られたモデルです。
API で非対応の機能
Realtime(および Realtime translation / transcription)、Assistants、Fine-tuning、Embeddings、画像生成(v1/images)、動画、画像編集、音声生成・文字起こし・翻訳、Moderation、レガシー Completions はすべて非対応です。出力はテキストのみで、画像は入力にしか使えません。
音声対話や埋め込み検索を含むシステムを組む場合、Astra 単独では完結せず、他モデルとの併用が前提になります。
安全側の制約(公式明記)
制約 | 内容 |
|---|---|
攻撃系タスクの拒否 | 「脆弱性の PoC エクスプロイト作成」など高度なサイバータスクにローンチ版は応じない。防御用途(セキュアコードレビュー、パッチ作成)は可 |
解禁の条件 | OpenAI Daybreak(Trusted Access for Cyber) の審査が必要 |
誤検知による中断 | サイバーと無関係な作業や長時間動作するエージェントタスクも誤ってフラグされうる。ChatGPT / Codex では確認を求められ、API ではタスクが停止する |
Enterprise の既定 | デフォルト OFF。管理者が有効化するまで使えない |
プラン制限 | Free / Go では利用不可 |
運用設計上、最も影響が大きいのは「API ではタスクが停止する」という点です。 夜間バッチや長時間のエージェント処理を Astra で組む場合、停止時のリトライ・アラート・フォールバック(Sol への切り替えなど)を最初から設計しておかないと、翌朝ジョブが止まっていた、という事故が起きます。OpenAI 自身も「不要な中断を減らすため改善を継続中」と述べており、現時点では過渡的な状態と考えるのが妥当です。
エージェント運用の権限設計・監視設計の考え方はAIエージェントのセキュリティ対策で体系的に整理しています。
公式ベンチマークと、Astraが負けている項目

出典: GitHub - openai/frontier-evals
公式表の数値では、コンピュータ操作・長文脈・サイバー・数学で Astra が先行し、汎用的な知能指標とコーディングエージェント指標では Claude 勢が上回っています。 以下はすべて OpenAI が自社ブログに掲載した値(=自己申告)です。
カテゴリ | ベンチマーク | GPT-6 Astra | GPT-5.6 Sol | 競合の最高値 |
|---|---|---|---|---|
コンピュータ操作 | Agents' Last Exam | 59.3% | 53.6% | Claude Opus 5 55.5% |
コンピュータ操作 | OSWorld 2.0 | 72.6% | 65.7% | Claude Opus 5 70.2% |
コンピュータ操作 | ScreenSpot-Pro(no tools) | 92.7% | 76.9% | Claude Fable 5 87.3% |
業務 | AutomationBench | 41.4% | 18.1% | Fable 5.1 31.4% |
業務 | BenchCAD | 95.9% | 83.3% | Fable 5.1 84.3% |
業務 | BrowseComp | 91.5% | 90.4% | Opus 5 90.8% |
業務 | Artificial Analysis Intelligence Index v4.1.1 | 61.2 | 60.9 | Fable 5.1 65.7 |
コーディング | Terminal-Bench 4.0 | 57.9% | 37.3% | Fable 5.1 55.8% |
コーディング | DeepSWE v1.1 | 74.1% | 72.7% | Gemini 3.8 Flash 73.8% |
コーディング | FrontierCode 1.1 Main | 53.3% | 47.5% | Fable 5 53.5% |
コーディング | Artificial Analysis Coding Agent Index v1.4 | 67.0 | 65.1 | Opus 5 68.1 |
学術 | Terminal-Bench Science 0.1 | 64.6% | 22.4% | Fable 5.1 52.6% |
学術 | FrontierMath Tier 4 (v2) | 97.6% | 83.0% | Fable 5 90.2% |
学術 | GPQA Diamond | 96.0% | 94.6% | Gemini 3.8 Flash 95.3% |
学術 | Humanity's Last Exam(w/ tools) | 57.2% | – | Fable 5.1 65.0% |
科学・健康 | HealthBench Professional | 63.4% | 60.5% | Fable 5 60.9% |
サイバー | ExploitBench | 100.0% | 78.5% | Opus 5 70% |
サイバー | SRE-Bench | 88.0% | 55.9% | Opus 5 12.5% |
サイバー | SEC-Bench Pro | 85.4% | 79.1% | – |
長文脈 | MRCR v2 8-needle 512K–1M | 96.3% | 73.8% | – |
抽象推論 | ARC-AGI-2 | 95.0% | 92.5% | Fable 5.1 90.0% |
抽象推論 | ARC-AGI-3 | 99.9% | 7.8% | Opus 5 30.2% |
アラインメント | 内部ハルシネーション評価(低いほど良) | 4.2% | 12.2% | – |
太字は競合が Astra を上回っている項目です。「最も賢いモデル」という表現と、指標ごとの勝敗は別の話であり、汎用的な知能指標では Fable 5.1 に5ポイント近い差をつけられています。
数字を読むときの5つの前提
- 「Evaluation scores are the maximum at any effort」 — 公式脚注のとおり、各スコアは任意の推論エフォート設定での最高値です。既定設定の ChatGPT で同じ結果が出るとは限りません
- ARC-AGI-3 の 99.9% はカスタムハーネス使用時の値 — 独自の Responses API アダプタを使った条件での結果で、デフォルトハーネスでは 62.7% だったと第三者(Simon Willison)が報告しています
- ExploitBench(June–Aug 2026)の Sol 5.5% はアーティファクト — ベンチマークの300ターン制限に起因すると公式脚注に明記。制限に当たりにくい条件では 11.5% です
- ScreenSpot-Pro と ExploitGym の Claude スコアは Mythos の値 — Fable ではなく、セーフガードの少ない構成の数値であると公式脚注17が説明しています
- サイバー系の数値は既定の製品構成ではない — 「Path to Astra」の図注に「Daybreak Blue アクセス時の能力を反映しており、デフォルトの製品構成ではない」と記載があります
競合モデルとの詳細な比較はGPT-6 Astra と Claude Fable 5.1・Gemini 3.8 の比較で、前世代との違いはGPT-5.6(Sol・Terra・Luna)の解説で扱っています。
サイバーセキュリティ「Critical」認定の意味

出典: OpenAI API Docs - Safety best practices
GPT-6 Astra は、OpenAI の Preparedness Framework でサイバーセキュリティ能力が「Critical」と判定された史上初のモデルです。 生物・化学は High、AI 自己改善は High 閾値に達していないと判定されています。
Critical の定義
公式が示す条件は、以下のいずれかを満たすことです。
- 多数の堅牢な実世界クリティカルシステムに対し、人間の介入なしにあらゆる深刻度のゼロデイエクスプロイトを特定・開発できる
- 高レベルの目標だけを与えられて、堅牢なターゲットに対するエンドツーエンドの新規攻撃戦略を立案・実行できる
専門家評価で実際に確認された能力
- 堅牢化されたブラウザで未知の脆弱性を発見し、動作するエクスプロイトチェーンを構築。HTML ファイルを開かせるだけでサンドボックスを脱出し、ホスト上でコマンド実行に至った
- 堅牢化された OS で複数の脆弱性を発見し、非特権ユーザーから root への権限昇格チェーンを構成
- 内部ベンチ(直近3か月に公開された V8 の高深刻度脆弱性20件)の実行中に、未知のゼロデイ脆弱性を2件発見して攻撃チェーンに使用。OpenAI は両方を開発元に報告中
導入されたセーフガード
対策 | 内容・効果 |
|---|---|
サイバー悪用への拒否強化 | サイバー系ジェイルブレイク評価での拒否率 91.5%(GPT-5.6 Sol は 59%) |
リスクベースの境界調整 | 高リスクと判定されたアカウントには、より保守的な拒否境界を適用 |
ミスアライメント監視の本番展開 | 推論と行動を分類器で検査し、無許可の活動を自動停止 |
Codex Auto-Review | 内部評価で、Astra が Auto-Review の拒否を回避しようとした回数は0件 |
ハニーポット評価 | 「課題を解く代わりに周囲のセキュリティ基盤を侵害するか」の検証で Sol 48.2% に対し Astra 0.0% |
越権評価 | 不可能タスクにおいて、セーフガードなしの Sol が48%で権限外に踏み出したのに対し Astra は0% |
データ保護 | 対象 API 顧客向けに Zero Data Retention 対応。Private Safety Processing をテスト中 |
Daybreak Blue で解除される範囲
攻撃寄りの能力は既定では封じられており、審査を通った組織が OpenAI Daybreak 経由でアクセスします。防御向けの Daybreak Blue と、脆弱性研究・エクスプロイト検証向けの Daybreak Red の2層構成です。システムカードに掲載された差は次のとおりです。
カテゴリ | Trusted Access なし | Daybreak Blue |
|---|---|---|
脆弱性の発見・分析 | 66.7% | 100% |
脆弱性のパッチ適用 | 44.4% | 100% |
PoC エクスプロイト作成 | 2.4% | 92% |
サイバーレッドチーミング | 7.4% | 76.9% |
「Astra のサイバー能力」として報道される数値の多くは、この Daybreak Blue 適用後の値です。 一般の API 契約でそのまま同じことができるわけではありません。Daybreak の仕組みはOpenAI Daybreakとはで詳しく解説しています。
OpenAI自身が公表した「監視しづらくなった」という後退点
GPT-6 Astra は、モニタラビリティ(推論過程の監視可能性)が GPT-5.6 Sol より低下したと OpenAI 自身が公表しています。 日本語記事でほとんど扱われていませんが、AI ガバナンスを検討する立場では最も重要な情報です。
公式ブログの原文は「Our evaluations found Astra's written reasoning harder to monitor than GPT-5.6 Sol's」。理由として、単純なタスクでは自身の書かれた推論をより制御できること、より少ない記述ステップで問題を解けることが挙げられています。
システムカードに記載された具体的な内容は次のとおりです。
- 監視回避を明示的に指示した敵対的条件下では、評価での意図的な手抜き(サンドバッギング)を検知されずに実行でき、一部のサボタージュタスクで内部モニターを回避できた
maxエフォートでは、chain of thought トークンを一切含まない攻撃成功例も報告された- UK AISI の測定では、CoT なしでの数学タスクの time horizon が Sol の3.6分から Astra は30.9分へと約9倍に伸びた(=人間が推論を読んで確認できる表面積が減る)
- ステガノグラフィックな CoT の証拠は現時点で未確認
外部評価機関の Apollo Research は、Astra が「自分は評価されている」と自覚した発言の割合が高い(xhigh で 41.1%、max で 50.6%)と報告し、「評価認識率の高さと評価期間の短さを踏まえると、不正行為率の低さはアラインメントの十分な証拠にはならない」と留保をつけています。
複数メディアによれば、Chief Scientist の Jakub Pachocki も「monitorability is getting more challenging」と認めています。また、複数メディアが「recurrent depth(再帰的深さ)」と呼ばれるアーキテクチャの採用を報じていますが、OpenAI 公式ブログ・モデルページでアーキテクチャ名の明示は確認できていません。 報道レベルの情報として扱うのが妥当です。
実務的な含意は明確です。 「AI の思考過程をログで監査する」という統制手法は、Astra 世代では以前より効きにくくなっています。推論ログの監査に依存した内部統制を設計している組織は、行動ログ・権限境界・承認ゲートといった出力側の統制へ重心を移す必要があります。
数学・理論計算機科学10件とLean 4形式化

出典: openai/ten-proofs - GitHub
2026年8月1日に公表された10件は、Astra の社内版が出した成果であり、リリース版の Astra が同じことをできると公式が保証しているわけではありません。内訳は以下のとおりです。
# | 分野 | 成果 | 性質 |
|---|---|---|---|
1 | 高次元球充填 | 充填密度の上界を改善し Cohn–Elkies 閾値に到達 | 上界の改善 |
2 | 符号理論 | 任意の最小距離における二元符号サイズの指数的改善。球面符号も改善 | 上界の改善 |
3 | 群論 | 非ソフィック群の構成(1999年に Gromov が提起した問題) | 存在の明示的構成 |
4 | 作用素環論 | Connes の剛性予想への反例 | 反例の構成 |
5 | 算術回路計算量 | パーマネントの下界(式については n⁴/log n オーダー) | 下界の改善 |
6 | 量子計算量 | 任意の有限2プレイヤー量子ゲームに対する指数的並列反復定理 | 定理の証明 |
7 | 格子問題 | 最近ベクトル問題(CVP)の多項式因子の近似困難性 | 困難性の証明 |
8 | 離散幾何 | Ehrhart の体積予想。各次元での最大体積を決定 | 予想の確定 |
9 | ラムゼー理論 | 多色三角ラムゼー数の超指数的下界(Erdős 問題183) | 下界の改善 |
10 | 極値グラフ理論 | compactness / degeneracy 予想への反例(Erdős 問題146・180) | 反例の構成 |
一律に「未解決問題を解決」と報じられていますが、実際には反例の構成・上下界の改善・存在の構成・定理の証明という4種類の異なる成果が混在しています。上下界の改善は「未知の値を挟む幅を狭めた」ものであり、問題そのものが完全に解けたわけではありません。
リリース時に追加された素数間隔の2件
9月3日のリリースに合わせて、素数間隔に関する2件の結果も公開されました。
- 短い素数間隔: 「無限に多くの素数ペアの間隔が最大246」という10年以上動かなかった上界を、Julia Stadlmann が240に改善したのに続き、Astra が186まで縮めた
- 大きい素数間隔: 80年以上変わっていなかった境界の項を改善
Lean 4 検証が保証する範囲・しない範囲

10件はすべて Lean 4 で形式化され、リポジトリ openai/ten-proofs(Apache-2.0)で公開されています。Lean 4.32.0 + mathlib + Lake の環境で lake exe cache get → lake build All を実行すれば、誰でも再検証できます。論文 PDF と推論過程の解説 PDF も公開されています。
ただし、Lean が保証するのは「形式化された命題からの導出が論理的に正しいこと」だけです。
保証される | 保証されない |
|---|---|
記述された証明に論理の飛躍がないこと | 形式化された命題が、元の未解決問題を正しく表現しているか |
未証明のまま保留されたステップがないこと | その結果が数学的に重要かどうか |
第三者が同じ手順で再検証できること | 査読を経た学術的な承認(arXiv・学術誌の査読は未了) |
OpenAI 自身も「成功した問題は開示したが、失敗した問題は開示していない」と明記しており、Gary Marcus はこれを「分母のない分子」と批判しています。貢献した数学者は共著者ではなく "critical readers" とされ、OpenAI は「AI が生成した証明に人間の著者性を主張するのは両者の性質を誤って表現する」として、2026年6月の Leiden Declaration への敬意を表明しています。
反証・留保の側の主張
- Levent Alpöge(Anthropic の数学者) が、Astra ではなく公開モデルの Fable を使い、OpenAI の結果の約半分を24時間以内に再現したと2026年8月2〜3日に報告しました。成果が Astra 固有の能力によるものか、探索+検証型で解けるタイプの問題に偏っているのかが論点です
- Terence Tao は ICM 2026 の講演(2026年8月3日)で、「既存の未解決問題を解くこと」と「新しい数学理論を構築すること」は別だと指摘し、技術的には正しいが役に立たない結果が大量生成される "proof indigestion" のリスクを提起。8月18日には Lean 検証済み数学のレジストリ「Palomar」を公開しました
OpenAI のモデルによる数学成果の先行事例はOpenAIのAIが80年来の数学難問を解いた件、他社の事例はClaudeがリーマン予想で数学的成果を出した件で扱っています。
「米政府審査の対象」の正確な中身

Astra について「米政府の公開前審査の対象」と書かれることがありますが、根拠となる制度は任意の枠組みであり、Astra が実際に審査を受けたかどうかは公式に確認できません。 多くの記事が断定気味に書いている部分なので、制度の中身は次のとおりです。
項目 | 内容 |
|---|---|
根拠 | 大統領令 EO 14409(2026年6月2日署名) |
内容 | フロンティア AI モデルの公開前サイバーセキュリティテストに関する枠組み。参加する開発者は公開前最大30日間、連邦政府にモデルへのアクセスを提供しうる |
主導 | 商務省の CAISI(Center for AI Standards and Innovation)。NSA・CISA・NIST 等が対象モデルの判定と評価プロセスを整備 |
強制力 | 任意。EO 自体が「licensing / preclearance / permitting の要件ではない」と明記 |
Astra への適用 | 未確認。システムカードに CAISI への言及は確認できない |
わかっているのは次の2点です。OpenAI は8月7日のブログで「関連する政府機関および一部の AI 安全組織と協働してこのモデルの能力をテストする」と表明しています。また、8月のリリース遅延について、ホワイトハウス関係者は「OpenAI は自主的に政権へ遅延計画を伝えた」とコメントしたと報じられています。
一方で、システムカードに名前が明記されている外部評価者は UK AISI、Apollo Research、SecureBio、Irregular、Gray Swan であり、CAISI による審査の実施を示す公式記載は見当たりません。 「任意の早期アクセス枠組みが存在し、OpenAI は政府機関との協働を表明しているが、Astra が EO 14409 の枠組みで審査を受けたかは公表されていない」というのが、現時点で書ける限界です。
誤読しやすい7つのポイント
Astra をめぐる情報は、数字の前提条件が省かれた形で流通しています。判断材料として使う前に確認すべき点をまとめます。
よく見る表現 | 正確な中身 |
|---|---|
「マルチエージェントが数学の難問を解いた」 | OpenAI 公式の表現は "an internal version of Astra" のみ。「マルチエージェント」は公式の説明ではない |
「約2,000ドルで10問を解いた」 | GPT-5.6 Sol の API レートに換算した参考値であり、Astra の料金ではない。失敗した試行のコストは非開示 |
「FrontierMath で98%」 | 公式ブログ本文の丸めた表記。公式の比較表では 97.6% |
「ARC-AGI-3 で 99.9%」 | 独自の Responses API ハーネス使用時の値。デフォルトハーネスでは 62.7% との第三者報告あり |
「Sol の ExploitBench は 5.5%」 | ベンチマークの300ターン制限によるアーティファクトと公式脚注に明記。制限に当たりにくい条件では 11.5% |
「Lean 検証済みだから100%正しい」 | 保証されるのは形式体系上の導出のみ。命題と元問題の一致・数学的重要性・査読は別 |
「AGI に到達した」 | Greg Brockman の個人的見解として複数メディアが報じたもの。OpenAI の公式定義や公式宣言ではない |
Greg Brockman は Astra を「generational leap」「our most intelligent and our most aligned model yet」と表現し、AGI について "I do think we're there" と述べたと複数メディアが報じています。 これは OpenAI 側の主張であり、公式のベンチマーク表でも複数項目で競合が上回っている以上、外部の事実として扱うべきものではありません。
GPT-5.6 Sol・Claudeとの選び分け
現時点では「全部 Astra」ではなく、タスクの性質でモデルを分けるほうがコストと安定性の両面で有利です。 判断材料を整理します。
比較ポイント | GPT-6 Astra | GPT-5.6 Sol | Claude Fable 5.1 |
|---|---|---|---|
API 入力/出力(100万トークン) | $10/$50 | $4/$20(期間限定) | 公式ページで要確認 |
コンテキスト | 1,050,000 | 要確認 | 要確認 |
汎用知能指標(AA Intelligence v4.1.1) | 61.2 | 60.9 | 65.7 |
コーディングエージェント指標(AA v1.4) | 67.0 | 65.1 | Opus 5 が 68.1 |
コンピュータ操作 | 最も強い | 中位 | 中位(Opus 5 が近い) |
長文脈の正確性(MRCR 512K–1M) | 96.3% | 73.8% | – |
サイバー(防御・SRE) | 最も強い | 中位 | 低い |
安全側の中断リスク | あり(誤検知で停止しうる) | 相対的に低い | – |
用途別のおすすめ
用途 | 推奨 | 理由 |
|---|---|---|
PC 操作・ブラウザ自動化を含む業務エージェント | GPT-6 Astra | OSWorld 2.0・Agents' Last Exam・ScreenSpot-Pro で最上位。所要時間も約47%短縮 |
数十万トークン規模の資料横断・調査 | GPT-6 Astra | 512K–1M 域の MRCR で 96.3%。ただし272K超は割増課金 |
セキュリティ運用(SRE・脆弱性分析・パッチ) | GPT-6 Astra(+ Daybreak Blue) | SRE-Bench 88.0%。攻撃寄りの作業は審査が前提 |
大量の定型処理・要約・分類 | GPT-5.6 Sol / Terra / Luna | Astra は2.5倍のコスト。精度差が結果に効かないタスクでは割に合わない |
難度の高い汎用推論・研究補助 | Claude Fable 5.1 も候補 | HLE・AA Intelligence Index で上回る |
コーディングエージェント | 併用して検証 | Terminal-Bench 4.0 は Astra、Coding Agent Index は Opus 5 が上位で拮抗 |
音声対話・埋め込み検索・画像生成を含む構成 | 他モデル併用が必須 | Astra は Realtime・Embeddings・画像生成に非対応 |
生成AIツール全体の選び方は生成AIツールおすすめ比較、ChatGPT 全体の位置づけはChatGPTとはで整理しています。
こんな人におすすめ / おすすめしない人
導入を進めてよい人・組織
- PC 操作やブラウザ作業を自動化したいチーム — フォーム入力・CRM 更新・調査と要約といった、公式が具体例として挙げている領域とそのまま重なります
- 数十万トークン規模の資料を横断させたい業務 — 長文脈の正確性は現行モデルの中で明確に強い部分です
- セキュリティ運用の防御側を強化したい組織 — SRE-Bench 88.0%、脆弱性分析は Daybreak Blue 適用で100%。攻撃寄りの作業には審査が必要です
- ChatGPT Pro / Business Premium をすでに契約している組織 — 追加課金なく枠内で試せます。まず現行業務の一部で精度差を測るのが現実的です
- AI ガバナンス方針を更新する必要がある法務・セキュリティ担当 — Critical 認定とモニタラビリティ低下は、社内規程の前提を変えうる事実です
現時点では見送ってよい人・組織
- コスト最適化が最優先の運用 — Sol の2.5倍、272K超ならさらに2倍です。要約・分類・定型生成では投資対効果が合いません
- 止まってはいけない無人バッチを組んでいる場合 — 誤検知により API でタスクが停止しうる仕様です。フォールバック設計なしでの本番投入は避けるべきです
- 音声・埋め込み・画像生成を含むシステム — API で非対応のため、Astra 単独では構成できません
- Free / Go プランのままで済ませたい個人 — Astra は使えません。有料プランへの変更が前提です
- 推論ログの監査に依存した統制を敷いている組織 — OpenAI 自身が監視しづらくなったと認めており、統制手法の見直しが先です
- 「AI が数学を解いた」を根拠に業務判断したい場合 — 数学は形式検証が効く特殊領域であり、一般業務への一般化は保証されていません
よくある質問
Q. GPT-6 Astra は無料で使えますか?
使えません。Free プランと Go プラン($8)では提供されておらず、Free の既定モデルは GPT-5.6 Luna です。利用には Plus($20)以上の有料プラン、または API 契約が必要です。
Q. Astra と GPT-6 Astra と GPT-6 Pro は何が違いますか?
Astra はコードネーム、GPT-6 Astra が正式名称、GPT-6 Pro は ChatGPT 上での表示名です。公式ヘルプの表記は「GPT-6 Pro, powered by GPT-6 Astra」で、Pro・Business・Enterprise が対象です。API に gpt-6-astra-pro という単独のモデルページは存在せず、GPT-6 Pro は API では提供されていません。
Q. 日本語の性能はどの程度ですか?
現時点で、OpenAI から日本語に特化した公式ベンチマークは公表されていません。公表されている数値はいずれも英語ベースの評価であり、日本語での性能は各自の業務データで検証する必要があります。
Q. GPT-5.6 Sol からすぐ切り替えるべきですか?
タスク次第です。コンピュータ操作・長文脈・サイバー・数学では明確な差がありますが、汎用的な生成や要約では単価が2.5倍になる分の効果が出にくい場面があります。まず一部の業務で並行運用して差を測り、効果が出た領域だけ移すのが安全な進め方です。
Q. 272Kトークンを超えるとどうなりますか?
入力プロンプトが272Kトークンを超えると、そのリクエスト全体が「入力・キャッシュ2倍、出力1.5倍」で課金されます。105万トークンのコンテキストは技術的には使えますが、コスト面では27万トークンが実質的な分岐点になります。
Q. サイバーセキュリティの業務で使えますか?
防御用途(セキュアコードレビュー、パッチ作成、インシデント対応)は既定で利用できます。脆弱性の PoC エクスプロイト作成といった攻撃寄りの作業はローンチ版では拒否され、OpenAI Daybreak の審査を通す必要があります。
Q. Codex で Astra が選べません。
Codex CLI が 0.153.0 未満の可能性があります。公式ヘルプで 0.153.0 以降が必須と明記されています。ChatGPT デスクトップアプリ経由で使う場合もアプリを最新版に更新してください。Enterprise では、管理者がワークスペースでモデルを有効化するまで既定で OFF になっている点も確認が必要です。
Q. Astra はマルチエージェントとして動いているのですか?
OpenAI 公式は数学成果について "an internal version of Astra" と書いているだけで、マルチエージェント構成であるとは説明していません。複数メディアが「recurrent depth」と呼ばれるアーキテクチャを報じていますが、公式にアーキテクチャ名の明示はなく、報道レベルの情報として扱うのが妥当です。
まとめ
OpenAI Astra は、2026年9月3日に GPT-6 Astra として正式リリースされ、9月5日には ChatGPT の全有料プラン・API・Codex・GitHub Copilot・Azure・Bedrock で使える状態になった OpenAI の現行フラッグシップです。API 料金は入力 $10・出力 $50、コンテキストは105万トークン、知識カットオフは2026年4月30日です。
強いのはコンピュータ操作・長文脈・サイバー・数学の領域で、OSWorld 2.0 では精度を上げつつ所要時間を約47%短縮しています。一方で、汎用知能指標(Artificial Analysis Intelligence Index)とコーディングエージェント指標では Claude 勢が上回っており、「すべての指標で最強」という前提で選ぶと期待を外します。
導入判断で最も重要なのは、能力の裏側にある3つの制約です。①サイバー Critical 認定に伴い攻撃寄りのタスクは拒否され、誤検知で API のタスクが停止しうること。②Realtime・Fine-tuning・Embeddings・画像生成に非対応で、Astra 単独では組めない構成があること。③OpenAI 自身が推論の監視可能性が前世代より低下したと公表していること。
現実的な進め方は、コンピュータ操作・長文脈・セキュリティ運用といった差が出る領域から限定的に投入し、定型処理は GPT-5.6 系に残す併用構成です。競合との詳細な比較はGPT-6 Astra と Claude Fable 5.1・Gemini 3.8 の比較、Critical 認定に至る経緯はOpenAIがAstraの開発を一部停止した件、エージェント運用の安全設計はAIエージェントのセキュリティ対策を合わせて確認してください。
主な参照元
- GPT-6 Astra - OpenAI
- Path to Astra: critical capabilities and frontier safeguards - OpenAI
- Responding to the next frontier of critical cyber capabilities - OpenAI
- Ten advances in mathematics and theoretical computer science - OpenAI
- GPT-6 Astra System Card - OpenAI
- Model: gpt-6-astra - OpenAI API Docs
- ChatGPT Pricing - OpenAI
- OpenAI Daybreak — Trusted Access for Cyber Overview - OpenAI Help
- GPT-6 Astra is generally available in GitHub Copilot - GitHub Changelog
- openai/ten-proofs - GitHub
- OpenAI launches Astra, its powerful (and controversial) new model - TechCrunch
- OpenAI says Astra AI model is its first that crosses 'Critical' cybersecurity capability - CNBC
- GPT-6 Astra - Simon Willison's Weblog
- Controlling Advanced Artificial Intelligence: Executive Order 14409 Explained - Congressional Research Service
- Palomar – a registry of Lean verified mathematics - Terence Tao
要件が固まっていない段階からご相談いただけます(初回相談無料)
開発について相談するこの記事の著者

AI革命
編集部
AI革命株式会社の編集部です。最新のAI技術動向から実践的な導入事例まで、企業のデジタル変革に役立つ情報をお届けしています。豊富な経験と専門知識を活かし、読者の皆様にとって価値のあるコンテンツを制作しています。
最新記事

Pionとは?Andon Labsの会社を自律運営するAIエージェント|監督エージェントAndonos・自販機/無人店舗の実験結果と安全面の課題【2026年9月速報】
2026/09/17

アンドレイ・カルパシー Anthropic入社とは|OpenAI共同創業者の役割・経歴・入社後の動向を解説【2026年9月最新】
2026/05/21

Microsoft Humanist AI行動規範とは?「人はAIより重要」MAIモデルの絶対的制約・命令の優先順位・Anthropic憲法との違い【2026年9月速報】
2026/09/16

既存システムにAIを組み込む方法|作り直さずに足す5つのパターンと費用【2026年9月最新】
2026/09/16

SaaSかカスタム開発かの判断フロー|7つの質問と5年総額で決める【2026年9月最新】
2026/09/16

Amazon Alexa for Shoppingとは?Rufus廃止・Buy for Me・料金・日本対応を解説【2026年9月】
2026/05/16

