AI業界の発展と政策動向

OneMillionAIによれば、OpenAIのGPT-5.6 Sol Ultraは、約50年前に提起された数学の問題「Cycle Double Cover Conjecture」の形式的な証明を1時間未満で提供するために、64のサブエージェントを投入した。OpenAIは完全なプロンプトと証明をすべて公開し、Leanで形式化したバージョンをオープンソース化している。コードはLeanカーネルによる検証を通過している。だが、これはあくまでOpenAIの公開結果であり、数学コミュニティによる独立した査読がまだ完了していないため、この証明は現時点では決定的な解決策として公式に認められていない。

Circleは7月11日に、その「Agent Stackスターターキット」がオープンソースになったと発表しました。開発者は、OpenAI Agents SDK、Claude Agent SDK、LangChain Deep Agents、Mastra、Vercel AI SDK、Google AI ADKで構築したAIエージェントに、ウォレット機能、USDC決済、オンチェーン操作を統合できます。

ロイターによると、メタはAI画像生成機能を7月10日に停止した。公開インスタグラムアカウントから画像を作成できるツールで、展開から数日後のことだった。メタは、この機能にはコンテンツ参照のための制御が含まれていたとし、「期待に届かなかった」と認め、ユーザーのフィードバックを受けて停止を決めた。

BlockBeats経由のSerenityによると、7月11日には、OpenAIのMRCネットワークアーキテクチャ最適化やAmazonのRNGアーキテクチャ改善により、個々のXPUに必要な光モジュール数が減る可能性があるものの、Serenityは、AI計算規模の急速な拡大が光通信需要の成長を下支えするとみている。 Serenityは、XPUの導入台数（デプロイメント）増加が、光モジュール総需要の継続的な成長につながると指摘した。CPO（同一パッケージ化光学）レーザーソリューションについて、SerenityはVCSELをNPO（ニアパッケージド光学）および短距離インターコネクト向けの適切な移行技術と位置づけている。一方で、高出力の連続波（UHP CW）レーザーは、CPOの優れた長期ソリューションであり、Broadcomの先行する見解とも一致している。

CoinbaseはRenderトークンのサポートを追加し、分散型AIコンピューティング基盤に紐づく主要アセットの1つへの取引機会を拡大しました。この取引所の更新は、流動性の改善と、DePINおよびAIインフラの文脈の中で位置づけられてきた同トークンに対する機関投資家のカストディ（保管）をより容易にすることを目的としています。RenderはSolanaへの移行を経ており、分散型物理インフラネットワークやコンピュート市場をめぐる幅広い議論の一部として引き続き存在感を保っています。 CoinbaseがRenderトークンのサポートを追加 Coinbaseは、自社プラットフォームでRenderトークンの対応を発表しました。この追加により、取引者は分散型コンピュート市場につながるアセットの1つにアクセスできるようになります。Renderは、Solanaへの移行と、コンピュート・マーケット向けアプリケーションにおける位置づけを通じて、AIインフラ分野での注目を維持してきました。 公式発表はCoinbaseのブログで公開されました。この種の取引所アップデートは、一般に流動性がどこに集中するか、資本が

CNBCのインタビューでのPerplexity CEO Aravind Srinivasによると、AI業界はモデルの規模を優先する段階から、コスト効率とタスク特化の最適化へと移行している。企業は、すべてのアプリケーションで最も強力なモデルを使うのではなく、各タスクに最も適したモデルを自動で選択するオーケストレーションシステムを構築している。カスタマーサポートのアプリケーションでは高価なモデルは不要な場合がある一方で、複雑なプログラミング作業では上位のモデルが必要となり、日常的な企業業務は低コストのオープンソースモデルで対応できる。 Perplexityは今週、中国のAI企業Zhipuが開発したオープンソースモデルGLM 5.2を用いた新しい「コンピューター利用」システムを披露し、ハイブリッドAIアーキテクチャへの流れを反映している。ベンチマークパートナーのPeter Fentonは、今後18〜24か月でAIトークンの90%以上がオープンソースモデルによって生成され得ると予測している。Ollama CEOのJeff Morganは、航空、保険、医療のような厳しく規制された分野を含め、現在

報道によると、Appleは7月10日、米国カリフォルニア北部地区連邦地方裁判所でOpenAIを提訴し、営業秘密の不正流用を申し立てました。この訴訟では、OpenAIに参加した2人の元Apple幹部も名指しされています。被告の1人は、iPhoneおよびApple Watchのプロダクトデザイン担当副社長として働いており、OpenAIへ移行するまでAppleで24年間勤務していました。

Beatingのモニタリングによると、Cursorはバージョン3.11をリリースし、サイドパネルチャットと会話検索を導入しました。ユーザーはメインのエージェントからコンテキストを継承する別のチャットを開き、主要なタスクを中断せずに追加の質問、調査、またはアイデアの検証を行えます。サイドパネルの会話は恒久的に保持され、@メンションでメインスレッドに戻って参照できます。 Cursorはまた、ローカルのインデックス作成を使って過去のエージェント会話を検索できるようにしています。クラウドのエージェントは新しいフックを受け入れるようになり、プロンプト送信、モデルの返信、推論ステップ、サブエージェントの起動などの重要なノードで、開発者が操作をトリガーできるようになりました。これにより、プロセスの監視や自動的なエラー修正のワークフローが可能になります。

BlockBeatsによると、7月11日、トランプ政権はUAE向けの輸出規制を緩和する計画を発表し、商用衛星や人工知能向けの半導体などの先端技術の輸出に道を開いた。米国商務省は、公開予定の通知の中で、UAEが米国の輸出管理規制においてより緩やかな取り扱いの対象となったと述べた。 この方針転換により、UAE拠点の企業は、州が後ろ盾となる技術企業G42の地域AIデータセンター向けに、1年以上前に合意した内容どおり、Nvidia、AMD、Cerebras Systemsから先端AIチップの購入を予定通り進められるようになる。

CoinDeskによると、Metaのチーフ・データ・オフィサーであるAlex Schultz氏は7月11日に、エージェンティック・コマースは同社の「次のレベルのビジネス」になると述べた。現在、同社のコマース・エージェントを利用する週次アクティブ事業者は100万社以上に上るという。Schultz氏は、エージェンティック・コマースにおいてステーブルコインが重要な決済レイヤーになると強調し、サプライチェーン間および国境を越えた取引を可能にするとした。同氏は、Metaがインターフェース層として機能する一方で、決済の精算はその下で、Meta発行の通貨ではなく規制されたサードパーティのステーブルコインによって行われると指摘した。

Jiemian Newsによると、Appleは本日（7月11日）、「取引上の秘密（トレードシークレット）」を不正に盗んだとして、OpenAIを訴えました。Appleは、同社が公開前の製品、部品、設計に関する情報を従業員に共有させるよう奨励していたとして非難しています。AppleはOpenAIに対し、その行為の差し止めと、すべての自社の専有資料の破棄、さらにAppleの技術を排除するために公開予定の製品の再設計を求めています。

Empery Digitalは7月10日、5月7日から7月10日までに1,400BTCのビットコインを8,710万ドルで売却したことを明らかにした。同社は取引前のビットコイン保有分の48%に相当するとしている。売却代金のうち1,000万ドルを7月7日に未払いの負債返済に充て、AIデータセンタープロジェクトへの25%持分のために6,500万ドルの投資を行う計画だ。Empery Digitalは、元々電動パワースポーツメーカーのVolconで、2025年7月にビットコイン・トレジャリー戦略へ転換した。同戦略は、企業がコア戦略としてバランスシートにBTCを保有し、準備金を積み増すために株式または債務による資金調達を行うアプローチであり、市場の下落局面では暗号資産へのエクスポージャーと負債義務および運営コストのバランスを取ることを求められている。 Empery Digital、電動パワースポーツからビットコイン・トレジャリー戦略へ移行 Empery Digital（NASDAQ: EMPD）は、元々電動パワースポーツメーカーのVolconで、2025年7月にビットコイン・トレジャリー戦略へ転換

花ナ証券の執行役員パク・ムンファンによれば、OpenAIの評価の不確実性は、半導体セクターの再編を左右し得る最も重要な変数だという。パク氏は、OpenAIの評価が変動すれば、データセンター、クラウド、メモリの半導体投資に関するより広範な見直しが引き起こされ、当初のAIインフラ・ブームによる利益を相殺してしまう可能性があると指摘した。 アナリストはセクターについて前向きな見方を維持し、大手テック企業が引き続きAI投資を拡大しており、世界的なデータセンター支出も上向きの軌道が続いていることを強調した。パク氏は、足元の半導体のボラティリティを「景気循環の反転」というより自然な調整局面だと位置づけ、半導体およびAI投資サイクルはまだ完了していないと結論づけた。

イーサリアム財団は、AIエージェントを展開してコードベースを監査し、その結果、libp2pのgossipsub networking layerにおけるリモートでトリガー可能な不具合であるCVE-2026-34219を発見したと、財団のプロトコルセキュリティチームに所属するニコス・バクセヴァニス（Nikos Baxevanis）が7月9日に公開したブログ記事で述べています。テストでは、1つのエージェントが約1,000件の候補となる指摘を生成し、上位層の推奨の86%が専門家によるレビューを通過していました。財団は、AIが生成したレポートを検証することが、バグを見つけることではなく、AI支援によるセキュリティ監査における主な作業ボトルネックであると結論づけました。 イーサリアム財団、重大なgossipsub脆弱性を発見 AIエージェントは、イーサリアムのコンセンサスクライアントが動作させるlibp2pのgossipsub networking layerの一部であるgossipsubにおける、リモートでトリガー可能なパニックを明らかにしました。この欠陥は修正され、CVE-2026-3421

7月9日に公開されたEthereum Foundationのブログ投稿によると、同財団のAIエージェントがCVE-2026-34219を発見しました。これは、Ethereumのコンセンサスクライアントで使用されるlibp2pのgossipsubネットワーキング層における、リモートでトリガー可能な脆弱性です。問題は開示され、修正されました。 プロパティベースのテストエージェントが約1,000件の候補となる指摘を生成し、その上位推奨の約86%が専門トレーダーによるレビューを通過しました。財団は、バグの発見はトリアージ（誤検知を真の脆弱性から切り分けること）よりも難しくなかった一方で、生産上重要なコードでは人間による検証が不可欠だと述べています。

米カリフォルニア州北部地区連邦地裁に金曜日に提出された訴訟によると、AppleはOpenAIと2人の元従業員（Chang Liu氏、Tang Yew Tan氏）を、ハードウェアに関する営業秘密の窃盗で告発した。Liu氏は元Appleのシニア・システム電子技術エンジニアで、8年間勤務した後、1月に退職している。訴状では、Liu氏が機密のハードウェアファイルを数十件ダウンロードし、認証の不具合を悪用して、侵入を報告せずにAppleの社内システムにアクセスしたとされている。 Tan氏は、OpenAIのチーフ・ハードウェア・オフィサーになる前にAppleで24年間勤務していたが、同訴状では、Apple在職中に得た機密情報を活用してOpenAIのハードウェア開発の取り組みに利益をもたらしたとされている。訴訟では、OpenAIの採用プロセスが候補者に対し、CAD設計の成果物、試作品、サプライヤー情報の提出を求めていたと主張している。Appleの提出書類によれば、OpenAIは400人以上の元Apple従業員を雇用しているという。Appleは、2月にこの件でOpenAIへ連絡したが、返答はなかったと

AI企業は、企業がテスト段階から本番の導入へ移行する中で、モデルの規模からコスト効率の高いルーティング・システムへ競争の焦点を移しつつある。PerplexityのCEO Aravind SrinivasはCNBCに対し、「モデル単体はもはや製品ではない」と述べ、特定のタスクに合わせてモデルとツールを組み合わせるオーケストレーション・システムを強調した。この変化は、AIに対する支出を引き締める米国企業の流れを反映しており、最も高価な選択肢を常に使うのではなく、タスクに適したモデルを求める動きが見られる。 Perplexityが中国のオープンモデルを使ったプレビューシステムを紹介 今週、Perplexityは中国のZ.aiが提供するオープンモデル「GLM 5.2」を軸にした、自社のコンピュータ利用プロダクト向けの新システムをプレビューした。このシステムは、より安価なモデルにより多くの作業を担わせつつ、必要なときだけより強力なモデルを呼び出すことを目的としている。 「“モデル単体はもはや製品ではない”」とSrinivasはCNBCに語った。「それはハーネスであり、モデルを非常に能力の高いハー