OpenAI用户数突破10亿，Astra成为下一代主要AI模型

はじめに

OpenAIはまた新たな重要な採用マイルストーンを達成した。

同社は現在、そのモデルが10億人以上のアクティブユーザーと200万社以上の企業に利用されていると発表している。このデータは、OpenAIが2026年7月31日に公開した戦略記事で明らかにされ、ウォール・ストリート・ジャーナルも独自に報じている。

ほぼ同時期に、OpenAIはGPT-5.6 TerraおよびLunaのAPI価格を引き下げる一方、暫定名Astraと呼ばれる新しいモデルシリーズに関する報道が流れ始めた。

初期の中国語報道では、AstraをGPT-6の可能性があるものと説明し、その一部の能力をリークまたは噂として扱っていた。その後、状況は急速に変化した。

OpenAIは現在、Astraを正式に**「次世代の主要モデル」**と位置づけ、同システムの内部バージョンが数学および理論計算機科学の分野で10件の新たな成果を上げたことを公表している。

いくつかの重要な疑問はまだ未解決のままである：

• OpenAIはAstraがGPT-6という名称でリリースされるかどうかを明らかにしていない。
• 同社は一般向けリリース日を確認していない。
• The Informationはマルチエージェント機能や長時間実行タスク能力について報じているが、OpenAIは関連文書を完全には公開していない。
• モデル規模、メモリ、パーソナライゼーション、8月リリースに関する主張は裏付けられていない。
• DesignArenaの2つの実験的モデル名であるZincとMagnesiumは、OpenAIによって正式に確認されていない。

本記事では、OpenAIが確認済みの情報と、依然として報道または推測の範囲にある情報を区別する。

OpenAIが10億人以上のアクティブユーザーを突破

OpenAIは、インフラストラクチャ、モデル、開発者プラットフォーム、製品をどのように結びつけているかを説明する、より広範な記事の中でこのマイルストーンを発表した。

同社の現在のデータは以下の通り：

採用指標	OpenAI報告データ
OpenAIモデルを利用するアクティブユーザー	10億人以上
OpenAIモデルを利用する企業	200万社以上
6ヶ月利用後の1日あたりのメッセージ量の増加	約50%
6ヶ月利用後の仕事の種類の増加	約2倍
OpenAIの週間出力トークンに占めるCodexの世代間作業の割合	99.8%

これらは企業が報告する製品指標であり、独立した監査を受けた財務データやオーディエンス測定データではない。

OpenAIはこれらのデータを用いて、より多くの利用がより多くの顧客フィードバックを生み出し、AIが価値を生み出す場所を明らかにし、企業がモデルを改善しインフラを増強する場所を決定するのに役立つという、より広範な主張を裏付けている。

このユーザーマイルストーンは、生成AIにとって歴史的な意味を持つ。

10億ユーザーへの到達により、OpenAIの製品は、これまで世界最大の消費者向けテクノロジープラットフォームに関連付けられてきた採用規模に到達した。

しかし、「OpenAIモデルが10億人以上のアクティブユーザーに利用されている」という表現は、自動的に10億人の直接的な

有料ChatGPTサブスクリプションユーザーを意味するものではない。

総数には、各製品、企業展開、統合、API、パートナー、サポート対象プラットフォームを通じてOpenAIシステムにアクセスするユーザーが含まれ得る。

このマイルストーンはGPT-5.6の大幅な値下げに続くものである

OpenAIは、2つのGPT-5.6モデルの価格を引き下げた直後に、10億ユーザーという数字を発表した。

2026年7月30日以降、同社は以下の標準API料金を公表している：

モデル	100万トークンあたりの入力価格	100万トークンあたりの出力価格	公表された価格改定率
GPT-5.6 Luna	0.20ドル	1.20ドル	80%引き下げ
GPT-5.6 Terra	2.00ドル	12.00ドル	20%引き下げ
GPT-5.6 Sol	変更なし	変更なし	基本価格の引き下げなし

OpenAIによると、Lunaは同シリーズの中で最速かつ最も手頃な価格のモデルであり、Terraは日常業務に適したバランスの取れたモデルと位置づけられている。

公式の料金ドキュメントには、以下のカテゴリの個別料金も含まれている：

• 標準処理
• バッチ処理
• 弾性処理
• 高速モード
• ショートコンテキストおよびロングコンテキスト
• キャッシュ入力およびキャッシュ書き込み

したがって、本番環境のユーザーは、見出しの入力・出力料金のみに依存せず、完全な料金ページを参照すべきである。

値下げはOpenAIが10億ユーザーに到達するきっかけとなったのか？

この2つの出来事は時間的に近いが、公開されている証拠は両者の直接的な因果関係を証明するものではない。

7月30日の価格改定以前に、OpenAIのユーザーベースはすでに10億に近づいていた。2026年3月、同社は週間アクティブユーザー10億人を達成する最速のプラットフォームになると予想していると述べていた。

より正確な解釈は以下の通りである：

• 値下げは、OpenAIが利用拡大を図る戦略の一部である。
• 10億マイルストーンは、長期的に蓄積された採用率を反映している。
• 値下げは将来の成長に寄与する可能性があるが、一夜にしてユーザーベース全体を生み出すものではない。

ウォール・ストリート・ジャーナルはまた、積極的な価格設定の背後にあるトレードオフも指摘している。

コストの低下により、より多くのAIワークロードが経済的に実行可能になるが、OpenAIがモデルとインフラに多額の投資を行っている時期に、利益率に圧力をかける可能性もある。

値下げはより大規模な効率化戦略の一部である

OpenAIは、GPT-5.6の値下げは一時的なプロモーションではなく、効率性の向上に起因すると述べている。

その既定の戦略は、モデルの能力と、その能力を提供するコスト効率の両方を同時に向上させることである。

これはフィードバックループを形成する：

1. より強力なモデルがエンジニアの最適化方法の発見を支援する
2. 最適化により推論コストが削減される
3. より低い価格により、より多くのワークロードが手頃になる
4. より多くの利用が収益と現実世界のフィードバックをもたらす
5. 企業はその情報を次世代製品の改善に活用する

競争も背景の一部である。

OpenAIは、Anthropic、Google、DeepSeek、Moonshot AI、Z.ai、そして成長を続けるオープンウェイトエコシステムと競争しており、

以下の複数の次元にわたる：

• 知能レベル
• コーディング能力
• 長時間実行されるエージェント
• 速度
• API価格
• コンテキスト長
• エンタープライズサポート
• 開発者ツール
• インフラストラクチャの可用性

その結果、モデルの品質と、そのモデルを実行する経済性を切り離すことができなくなった市場が生まれている。

Astraの登場：OpenAIの次世代主要モデル

2つ目の大きなニュースはAstraである。

7月31日、The Informationは、OpenAIが暫定名Astraと呼ばれる新しいモデルシリーズを準備していると報じた。

報道によると、Sam AltmanはワシントンD.C.で政策立案者や規制当局にAstraを既に披露している。

最初の報道では、Astraは以下の用途のために設計されたシステムとして説明されていた：

• 長期間にわたって実行されるタスク。
• 複数のエージェントが協調して動作する。
• 完了までに長い時間がかかる可能性のある困難なプロジェクト。
• 高度な数学の問題。

当時、OpenAIはこのモデルを公式に確認していなかった。

現在は状況が異なる。

8月1日、OpenAIは研究に関する発表を行い、Astraの内部バージョンを明確に次のように呼んだ：

「我々の次の主要なモデル」

この公式の表現により、Astraが実在し、OpenAIのロードマップにおいて重要な位置を占めていることが確認された。

しかし、最終的な商品名、リリース日、API構成、消費者向けの利用可能性については確認されていない。

Astraは長期間のマルチエージェント作業向けに設計されていると報じられる

The Informationの報道によると、Astraは複数のエージェントを調整し、長期間にわたって異常に困難なタスクを解決できるという。

これは、一般的なチャットワークフローからの重要な転換である。

従来の対話形式は以下の通りだ：

ユーザーの質問
→ 単一モデルの応答

長期間実行されるマルチエージェントシステムは、次のように見えるかもしれない：

ユーザーの目標
→ プランナー
→ 専門エージェント
→ ツール使用
→ 中間レビュー
→ エラー修正
→ 検証
→ 最終結果

異なるエージェントが異なる役割を担う可能性がある：

• 調査。
• 計画。
• コーディング。
• 数学的探索。
• 検証。
• 批判。
• プロジェクト調整。

主な価値は、単に同じモデルのコピーを増やして実行することにはない。

システムは、共有状態の管理、作業の割り当て、競合の検出、有用な結果の統合、失敗からの回復、そしてタスク完了時の停止を管理しなければならない。

長期間実行されるタスクがなぜ難しいのか

長期間にわたるAI作業には、複数の工学的問題が伴う：

• コンテキストが大きくなりすぎる可能性がある。
• 初期のエラーが蓄積し続ける可能性がある。
• エージェントが重複した作業を行う可能性がある。
• 中間の仮定が検証されない可能性がある。
• ツールの障害がプロセスを中断する可能性がある。
• 各ステップでコストが増加する。
• 有益な進展が止まった後も、システムが働き続ける可能性がある。
• エージェントが外部ツールにアクセスできる場合、セキュリティリスクが増大する。

したがって、成功するマルチエージェントシステムには、より強力な基盤モデルだけでは不十分である。

強力な制御フレームワークも必要である。

モデルを中心としたオーケストレーション、メモリ、ツール、権限、評価器、そして回復ロジック。

The Informationによる長期間のマルチエージェントに関する説明は、依然としてメディアの報道に留まっている。OpenAIの数学に関する発表はAstraモデルの存在を確認したが、そのマルチエージェント実行に関する完全な技術アーキテクチャはまだ公開されていない。

Astraは10件の新しい数学的成果を生み出した

Astraに関する最も有力な公式エビデンスは、OpenAIの数学に関する発表によるものである。

OpenAIは、Astraの内部バージョンが、主要な結果において少なくとも10年間、ほとんどの場合それ以上、突破されていなかった10の問題において新しい進展をもたらしたと述べている。

関連する分野は以下の通り：

• 高次元幾何学
• 符号理論
• 算術回路複雑性
• 群論
• 作用素環
• 量子複雑性
• 格子暗号
• 極値組合せ論

OpenAIによると、モデルは数学的結果を生成し、人間が同じモデルの支援を受けて証明を原稿にまとめ、その後Astraが各証明を Lean証明 として形式化した。

同社はまた、モデルが生成した推論プロセスの記述も公開した。

公開された10件の成果

OpenAIは以下の進展分野を挙げている：

分野	OpenAIによる成果の説明
高次元球充填	Cohn–Elkies閾値までの新しい上界
二元符号と球面符号	指数関数的に改善された界
非sofic群	非sofic群の存在を示す構成
作用素環	Connes式刚性に関連する結果
算術回路複雑性	下界に関する新しい進展
量子複雑性	量子並列反復に関する進展
格子暗号	最近ベクトル問題における新しい硬度結果
離散幾何学	Ehrhart型体積問題における進展
ラムゼー理論	多色ラムゼー数に関する結果
極値組合せ論	長年の極値問題における新しい結果

OpenAIは、これら10の成功解を見つけるために必要なトークン使用量は、GPT-5.6 Sol API価格に基づくと約 2000ドル であると述べている。

この数字は、必ずしもこの研究プロジェクトの総コストを表しているわけではない。

これには以下が含まれない可能性がある：

• 成果が出なかった問題への試行。
• 人間の数学者が費やした時間。
• トレーニングと評価のインフラストラクチャ。
• 検証と原稿準備。
• Astra自体の開発コスト。

これは、成功した解の生成に使用されたトークンに関するOpenAIの見積もりとして理解するのが最適である。

Lean証明は検証可能性を高めるが、ピアレビューは依然として重要である

Leanは対話型定理証明器である。

Lean証明は、各形式化されたステップが受け入れられた定義と前のステップに従っていることを検証できる。

これは、モデルが単に問題を解決したと主張するよりもはるかに強力である。

形式化

検証には依然として限界がある。

人間が確認しなければならない：

• 形式化された記述が意図した数学的問題と一致していること。
• 定義が正しい仮定をコード化していること。
• 結果が誤解を招く方法で提示されていないこと。
• より広い数学的意義が正確に述べられていること。
• 原稿がその分野にとって理解可能で価値があること。

したがって、OpenAIの発表は機械的に検証可能なサポートを備えた重要な技術的声明であるが、専門家によるレビュー、再現、他の研究者による使用というより遅いプロセスも依然として重要である。

AstraはGPT-6かGPT-5.7か？

OpenAIは最終的な名称をまだ発表していない。

The Informationによると、同社はAstraが以下になるかどうかをまだ決定していない：

• GPT-6。
• GPT-5.7のような後続のGPT-5シリーズモデル。
• 独立したモデルシリーズ。

OpenAI自身の研究ブログはバージョン問題を避け、Astraを「次の主要モデル」と呼んでいる。

この表現はその重要性を確認するが、商業的なラベルは約束していない。

モデル番号が能力の信頼できる指標にならない理由

整数のバージョンアップは、しばしば大きな世代間飛躍を期待させる。

小数のバージョンアップは、より漸進的なリリースを示唆する。

これらの期待はマーケティング慣習であり、技術基準ではない。

最終的な名称は以下に依存する可能性がある：

• ベンチマークの向上。
• 商業的な位置付け。
• タイミングと市場状況。
• GPTブランドとの継続性。
• 研究者や開発者からのフィードバック。
• 製品ライン全体の戦略。

製品ポジショニング。

• アーキテクチャ。
• セキュリティ審査。
• インフラストラクチャの readiness。
• 競争のタイミング。
• Astra は単一モデルか、連携したモデルシステムか。

OpenAI が発表するまで、Astra を GPT-6 と呼ぶことは推測に過ぎない。

より正確な呼称は次の通り：

OpenAI がまだ公開していない Astra モデルは、GPT-6 または GPT-5.7 である可能性がある。

Astra の規模、記憶、およびパーソナライズ機能に関する主張は依然として未検証

原文には、Astra または GPT-6 が以下の可能性があると主張するソーシャルメディアの要約が含まれている：

• 現在の最先端モデルよりもはるかに強力である。
• 規模は GPT-5.6 Sol の約2倍である。
• 科学分野で重要な発見ができる。
• 他のモデルと高度に連携する。
• 長期的な記憶とパーソナライズ機能に優れている。
• 8月にリリース予定である。

このソーシャルメディア投稿の著者は、これらの主張はまだ独立して検証されていないと明言している。

現時点では、この要約のうち公式に裏付けられているのは一部のみ：

• Astra は確かに存在する。
• OpenAI はこれを次の主要モデルと呼んでいる。
• 内部バージョンが数学と理論計算機科学の分野で10件の新しい成果を生み出した。

OpenAI は以下をまだ公に確認していない：

• パラメータ数。
• 規模が Sol の2倍であることを示す比較データ。
• 最終的な GPT-6 という名称。
• 8月のリリース時期。
• 具体的な記憶アーキテクチャ。
• パーソナライズシステム。
• 噂に挙げられたすべての科学分野での性能。

これらの詳細は、引き続き未検証であると明確に示すべきである。

ワシントンでのデモは変化する政策環境の中で実施された

The Information は、Altman が Astra をワシントンの政策立案者と規制当局に披露したと報じている。

元の中国語記事はこれを、Astra が新しい連邦モデル承認枠組みに向けたポジショニングの試みであると解釈している。

米国の公開政策文書はこの大きな背景を裏付けているが、この解釈のすべての詳細が文書化されているわけではない。

米国政府は最近、その関心範囲を以下に拡大している：

• 先進 AI の国家安全保障審査。
• テスト、評価、検証、検証（TEVV）。
• 連邦政府による最先端モデルの調達。
• サイバーセキュリティ。
• 政府および国防システムへの展開。
• 民間 AI 企業との調整。

ウォール・ストリート・ジャーナルは以前、GPT-5.6 が安全保障上の問題について米国政府との協議の後、当初アクセスが制限されたと報じていた。

2026年6月のホワイトハウス指令も、国家安全保障分野で使用される AI システムに対する厳格な安全・機能評価を強調している。

しかし、今回検討した公開された公式情報源のいずれも、以下を確認していない：

• その週末に新しい一般的な連邦モデル承認計画が確定したこと。
• Astra が最初に承認されるモデルであることが保証されていること。
• OpenAI のデモが自動的にコンプライアンス許可を生み出すこと。

より確実な結論は、Astra は最先端モデル企業と米国政府との間で異常なほど緊密なやり取りが行われた時期にプレビューされたということである。

ワシントンでの Astra のデモには複数の目的がある

非公開のデモは OpenAI が以下を行うのに役立つ：

公開前に能力を説明する

長期間稼働するマルチエージェントシステムは、ベンチマーク表だけでは評価が難しい。

ライブデモは、エージェントがどのように役割を分担し、作業を検証するかを示すことができる。

安全対策について議論する

政府当局者は以下について知りたい可能性がある：

• ツールの権限。
• ネットワーク機能。
• モデルの自律性。
• 監視メカニズム。
• 障害モード。
• アクセス制限。
• インシデント対応。

より強力な能力を公開する前に信頼を構築する

最近の自律型ネットワークエージェントに関する事件により、最先端モデルへの監視が強まっている。

公開前のデモで管理措置を示すことで、不確実性を減らすことができる。

政府と科学の連携を支援する

OpenAI は米国の研究所、学術研究機関、国家レベルの科学プロジェクトとの連携を拡大している。

Astra の数学的成果はこのポジショニングと一致する。

これらは合理的な戦略的動機であり、確認された非公開の動機ではない。

Zinc と Magnesium が DesignArena に登場

元記事の最後の部分は、2つの謎のモデル名に焦点を当てている：

• Zinc
• Magnesium

ユーザーは、DesignArena の Game Dev カテゴリでこれらを目撃したと報告している。

スクリーンショットには、Magnesium が OpenAI アシスタントとして、ゲーム開発エージェントとして動作していると自称している様子が写っている。

別の情報源のスクリーンショットでは、これらのモデルがゲーム開発テスト用に一時的に有効化されており、初期の結果は印象的ではないと説明されていたと報告されている。

画像は OpenAI モデルに関するツイートを表示している。ツイートの投稿者は @Lentils80 で、GPT モデル「Zinc」と「Magnesium」が DesignArena の「ゲーム開発」カテゴリで公開され、有効化されたという内容。投稿者は試用したところ、出力結果はあまり良くないと感じており、システムプロンプトとフレームワークが原因かもしれないが、確証はないと述べている。画像の下はモデルとの会話例であり、モデルは Design Arena のゲーム開発エージェントとして動作する OpenAI アシスタントであると自己紹介している。この画像は文脈と密接に関連しており、文脈で言及された2つのモデルが DesignArena で有効化された状況と投稿者の試用体験を視覚的に示している。

OpenAI は上記のいずれのモデル名も正式に発表していない。

したがって、現時点ではそれらが以下であるかどうかを確認することはできない：

• 新しい GPT-5.6 の変種。
• 内部ルーティング名。
• 評価用のエイリアス。
• 実験的なテストフレームワーク。
• 更新された Sol または Terra のチェックポイント。
• 他のプロバイダーからのモデルで、テスト用ラベルとして表示されているもの。

DesignArena の公開モデルカタログには現在、公式の GPT-5.6 Sol、Terra、Luna のエントリが掲載されているが、検証済みの公開ページでは、Zinc または Magnesium の公式の恒久的なモデルページは提供されていない。

ゲーム開発が実用的なエージェントベンチマークである理由

情報源は、ゲーム開発が短いコーディング試験とは異なることを正しく指摘している。

エージェント型のゲーム開発テストでは、モデルが以下を行う能力が求められる可能性がある：

• 複数のファイルを作成する。
• プロジェクト構造を維持する。
• フレームワークまたはエンジンを使用する。
• エラーログを解釈する。
• 失敗後にコードを修正する。
• アセットまたはインターフェースを生成する。
• ゲームロジックの一貫性を維持する。
• 実行して結果を確認する。

性能は基盤モデルだけに依存するわけではない。

それは以下にも依存する：

• システムプロンプト。
• ツールへのアクセス権限。
• ランタイム。
• 足場またはテストフレームワーク。
• リトライ戦略。
• コンテキスト管理。
• テスト環境。
• 時間とトークンの予算。

あるアリーナでのパフォーマンスの低さは、基盤モデル自体が弱いことを証明するものではない。

それは、モデル、ツール、およびオーケストレーションが、その特定のタスクに対して適合性が低いことを示している可能性がある。

次の競争はエンドツーエンドの完了である

AstraとDesignArenaの実験に共通するテーマは、単発の知能からの脱却です。

次のフロンティアは、単に難しい質問に答えることではありません。

難しいプロジェクトを完遂することです。

これには以下が含まれる可能性があります：

1. 曖昧な目標の理解。
2. それを複数の部分に分解する。
3. タスクを割り当てる。
4. ツールを使用する。
5. 中間出力をレビューする。
6. エラーを修正する。
7. 結果を検証する。
8. 数時間または数日にわたって進捗を維持する。

Astraが報告したマルチエージェント設計は、まさにこの方向性を指し示しています。

OpenAI公式の数学発表は、未公開モデルがどのように複雑な成果を生み出し、その後整理されて正式に検証されたかについての実例を提供しています。

残された問題は、同じ手法が厳選された研究環境以外でも確実に機能するかどうかです。

確認済みおよび未確定の内容

声明	現在のステータス
OpenAIのアクティブユーザーが10億人を超える	公式に確認済み
200万以上の企業がOpenAIモデルを使用	公式に確認済み
GPT-5.6 Lunaの価格が80%引き下げ	公式に確認済み
GPT-5.6 Terraの価格が20%引き下げ	公式に確認済み
AstraはOpenAIの実在するモデルである	公式に確認済み
AstraはOpenAIの「次世代の主要モデル」である	公式に確認済み
Astraが数学および理論計算機科学における10件の新規成果を生み出した	OpenAIが公式に確認済み
成果にはLean証明書が含まれる	公式に確認済み

| Astraが複数のエージェントを調整して長期的なタスクを実行する | The Informationの報道による |
| サム・アルトマンがワシントンでAstraをプレビューした | The Informationの報道による |
| AstraはGPT-6と命名される | 未確認 |
| AstraはGPT-5.7と命名される | 未確認 |
| Astraの規模はSolの2倍である | 未確認 |
| Astraは8月にリリースされる | 未確認 |
| ZincとMagnesiumはOpenAIの新しい公式モデルである | 未確認 |
| 1日での価格引き下げが直接10億ユーザーの節目につながった | 未実証 |

よくある質問

OpenAIには何人のアクティブユーザーがいますか？

OpenAIは、同社のモデルが現在10億人以上のアクティブユーザーと200万以上の企業に利用されていると述べています。同社は、これらのユーザーがChatGPT、API、パートナー、その他の製品にどのように分散しているかについて、完全な内訳をまだ公開していません。

OpenAI Astraとは何ですか？

AstraはOpenAIの未公開モデルであり、公式には次世代の主要モデルとして説明されています。内部バージョンは、数学および理論計算機科学の分野で10件の新規成果を生み出しました。

AstraはGPT-6ですか？

OpenAIはこの名称を確認していません。The Informationは、同社がGPT-6、GPT-5.7、または別のモデルシリーズとして位置づけることを検討したと報じています。

Astraはどのような問題を解決しましたか？

OpenAIは、球充填、符号理論、非sofic群、作用素環、量子複雑性、格子暗号、組合せ数学などの分野で10件の新規成果を発表しました。これらの証明は草稿として整理され、Lean証明書を通じて形式的に検証されています。

Astraは複数のAIエージェントを使用しますか？

The Informationは、OpenAIが複数のエージェントが長時間にわたって協調して動作することをデモンストレーションしたと報じています。OpenAIはAstraのマルチエージェントアーキテクチャに関する完全な技術的説明をまだ公開していません。

新しいGPT-5.6 LunaとTerraの価格はいくらですか？

OpenAIの7月30日の発表によると、Lunaの標準入力価格は100万トークンあたり0.20ドル、出力価格は100万トークンあたり1.20ドルです。Terraは入力が2.00ドル、出力が12.00ドルです。その他の処理モードおよび長コンテキストの料金は異なります。

ZincとMagnesiumはOpenAIの新しいモデルですか？

これらはDesignArenaのスクリーンショットに実験的な名称として登場していますが、OpenAIはまだ公式に発表していません。それらの提供元、アーキテクチャ、GPT-5.6との関係は未確認のままです。

OpenAIの価格引き下げは一夜で10億ユーザーを生み出しましたか？

この解釈を裏付ける証拠はありません。この節目は長期間にわたって蓄積された採用を反映しており、価格引き下げはOpenAIが将来の利用拡大を目指す戦略の一部にすぎません。

関連ツール

• ChatGPT：消費者および仕事向けのOpenAIの主要な現行モデルシリーズのインターフェース。
• OpenAI API：GPTモデル、ツール、エージェント、マルチモーダル機能を統合するための公式プラットフォーム。
• Codex：長期的なコーディングおよびコードベースタスク向けのOpenAIのエージェントソフトウェアエンジニアリング製品。
• Lean：Astraが発表した数学的証明の正式な検証に使用された対話型定理証明器。
• DesignArena：視覚的およびエージェント設計タスクにおけるAIシステムのパフォーマンスを比較するクラウドソーシングベンチマーク。
• [OpenAI

Academy：開発者、研究者、組織向けのOpenAIの公式教育センター。

関連リンク

• OpenAI：豊かさの知能を構築する：10億ユーザーおよび200万企業のデータの出典となる公式ページ。
• OpenAI GPT-5.6価格引き下げ発表：7月30日付のTerraおよびLunaの価格引き下げに関する公式発表。
• OpenAI API価格：GPT-5.6およびその他のOpenAIモデルのさまざまな処理モードにおける現在の公式価格。
• OpenAI：数学における10件の進展：Astraおよび10件の発表済み研究成果に関するOpenAIの公式確認。
• The Information：OpenAIがワシントンでAstraをプレビュー：Astraの長期的なマルチエージェント機能およびワシントンでのデモに関する元の報道。
• ウォール・ストリート・ジャーナル：OpenAIユーザーが10億人を突破：ユーザー数の節目と価格変更に関する独立した報道。
• DesignArena方法論ドキュメント：DesignArenaで使用されるプロンプト、カテゴリ、評価方法を説明するドキュメント。

まとめ

OpenAIは、同社のモデルが現在10億人以上のアクティブユーザーと200万以上の企業に利用されていると述べています。この節目はGPT-5.6 LunaおよびTerraの大幅な価格引き下げと同時期に発生しましたが、公開されている証拠は、1日だけの価格引き下げがこのユーザー数の節目を生み出したことを示していません。

より大きな技術的進展は次のとおりです。

Astra。この製品は当初、秘密モデルとして報じられていたが、現在はOpenAIによって正式に確認され、次世代の主力モデルとなっている。その内部バージョンは、数学と理論計算機科学における10件の新たな研究成果を生み出しており、原稿と機械検証可能なLean証明書が添付されている。

最終的な商業ネーミングはまだ決定されていない。OpenAIは、AstraがGPT-6、GPT-5.7、または他のバージョンとして命名されるかどうかを発表しておらず、その規模、記憶、パーソナライゼーション、およびリリース時期に関する複数の広く流布されている主張もまだ確認されていない。

実験的なZincおよびMagnesiumラベルもDesignArenaに登場しているが、OpenAIはその意味をまだ確認していない。

最も顕著な変化は、フロンティアモデルの競争が、単純な一回限りの応答から、複雑な研究およびエンジニアリングプロジェクトの長期的なタスクを完了するために、ツールとエージェントを調整できるシステムへと移行していることである。