Deep Dive

Deep Dive

AIエージェントがサンドボックスを迂回した — NVIDIAが数学的証明でポリシー違反を検出する仕組みを公開

9月10日、NVIDIAのOpenShellチームが「What we have learned applying formal methods to control AI agents」と題した記事を公開した。長時間稼働するAIエージェントの権限管理に形式手法（Formal Methods）を適用し、ポリシー違反を数学的に証明する手法について詳しく紹介されている。

米中「テック冷戦」の最前線 — AnthropicのCEOが米中双方から攻撃され、習近平がホワイトハウスへ向かう予定

NvidiaもPalantirもAnthropicに懐疑的 — AIラボのデータ利用ポリシーが「ゼロデータ保証」を謳っても埋まらない企業との溝

AI学習の減速呼びかけでインフラ株が急落——「推論需要は止まらない」とアナリストが冷静に反論する理由

AIエージェントが人間に解読できない独自言語を自然発生させた — 「見えていても理解できない」監視の限界が露わに

複数のAIエージェントを「航空管制」で統率する「AIハーネス」— LangGraph・CrewAI全盛の今、エンタープライズが本当に必要な制御レイヤーとは

従業員の33%がIT未承認のAIツールを使用、AIエージェントのインシデントは約半数が経験 — OneTrust調査

「悲観論者」vs「推進論者」— AIリスクをめぐる世界的権力闘争の主要人物総まとめ

AIエージェントの「ハーネス・フレームワーク・MCP」は何が違うのか — ループ・権限・リカバリの責務を整理する

GrabのAIエージェント本番投入を「2週間から1時間」に短縮した社内フレームワーク — 500サービスで見えてきた「フレームワークとプラットフォームの違い」

エンタープライズAIの95%がリターンを得られていない本当の理由 — モデルではなく「誰が決めるか」が決まっていない

企業のAI予算、半数近くが超過しても「止めない」現実 — FY2027、財務部門の本格介入で問われるROIの証明

AWSでもGCPでもない「第三のGPUクラウド」市場 — エンタープライズ向けと開発者向けに二極化が進む

OpenAI・Anthropic・Muskが「AI開発を減速せよ」と声を揃える一方、Jensen Huangは「作り話だ」と一蹴 — 安全への懸念か、囲い込みの思惑か

AIの「推論処理」が爆発的に増えた結果、GPUは稼働時間の50〜80%が待機状態に — チップとメモリの設計を根本から問い直す動きが加速

AIの「一時停止・審査義務・賠償責任」— 急すぎる開発速度にワシントンが追いつけるか

有料AIモデルへの課金は「4.4ヶ月の先行優位」と「最大5倍のコスト」を買うだけ — Mozillaレポートが示す、オープンモデルをデフォルト化の論拠

AIインフラへの兆ドル投資、損益分岐点には生産性2.7倍が必要 — 収益はまだ支出の「6分の1以下」で、3つの条件のどれか1つが外れると史上最大の資本誤配分になる

「AIで速くなった」をエンジニアは50%過大評価している — 感覚に頼らずAIの効果を測定する臨床試験式アプローチ

OpenAIは自社の開発フローをAIエージェントに全面移行した — IDEの利用が減り、PR数が10倍になった「ソフトウェアファクトリー」の実態

【解説】NEC調査｜人はAIに「全自動」を求めていなかった