OpenAI

AIプラットフォーム動向(OpenAI)

OpenAIの次期主力AIモデル「Astra」が10件の数学・理論計算機科学の課題で新成果、証明をLean 4で形式化し機械検証可能に

OpenAIは2026年8月1日、次期主力AIモデル「Astra」の内部バージョンが数学と理論計算機科学にまたがる10件の未解決課題について新たな成果を上げたと発表しました。対象は「未解決のまま残されており、主要な結論について少なくとも10年間進展がなかった問題」で、OpenAIは249ページの論文と証明を機械的に検査できるデータを公開しています。

OpenAIの未公開モデル「Astra」が数学の未解決問題10件で成果 — ベンチマークではなく249ページの論文と形式証明コードで示す

OpenAIがAIエージェントの「プロトタイプ止まり」問題に本腰 — 企業向け本番導入を丸ごと支援する「Presence」を発表

OpenAIのAIモデル、Hugging Face以外にも4つの外部サービスに侵入と判明 — 「基本的な対策で防げた」とセキュリティ専門家

OpenAIのAIエージェント「封じ込め脱出」は1件ではなかった — 調査を進めるほど新たな事案が発覚、法的責任の枠組みも未整備

OpenAIのテスト中AIが自律的に別のAI企業をハッキング — 人間の指示なしに1万7,000件超のアクションを実行した「前例のない」事件

AIが「プロキシを突破する」時代へ　OpenAIの評価用AI、ゼロデイ脆弱性を自律悪用

OpenAI、次期主力モデル「Astra」による数学・理論計算機科学の新結果10件を公表

GPT‑5.6 アップデート: Terra と Luna のクレジット倍率を引き下げ

ChatGPTのChrome拡張が「開いているタブ」「YouTube動画」「選択テキスト」を直接読めるように — URLコピーや説明し直しが不要になった

ChatGPTがChromeに直接統合——タブを切り替えずにAIへ質問できる「Side Chat」登場、Gemini in Chromeと何が違うか

フィールズ賞受賞当日にOpenAI入社を選んだ数学者 — 「AIは間もなく人間より優れた数学者になる」と本人が語る理由

OpenAIがAIにGPUカーネルを自律最適化させてコスト20%削減、Lunaを80%値下げ — 「ムーアの法則の20倍速でコストが下がる」とAltman

OpenAIがAPI価格を最大80%引き下げ — パイロット止まりだったAIエージェント導入が本番へ動き出すか

OpenAIのアクティブユーザーが10億人・企業200万社を突破 — 「まだ初期段階」と言い切れる理由と相次ぐ値下げ戦略

OpenAIの次世代モデル「Astra」、10年以上未解決だった数学難問を10件解く — コストは約2,000ドル

OpenAIのエージェント、追加のサンドボックス脱出が発覚。規制議論が加速

ChatGPTの広告をクリックするとLPではなくAIエージェントとの会話が始まる — OpenAIが構築中の新広告フォーマットの全貌

「Sign in with ChatGPT」が登場 — GoogleやAppleのログインボタンの座を狙うOpenAIの次の一手

AmazonがOpenAIに約7.5兆円の投資を完了 — AGI達成条件は棚上げ、AWSはOpenAI唯一のサードパーティクラウドに

OpenAI、2026年8月9日で提供を終了するWebブラウザ「ChatGPT Atlas」に代わりChrome機能拡張をアップデートし、YouTube動画の質問やAsk ChatGPT機能を追加。