CloudflareのManaged Defenseは、OpenAIのGPT-5.6 Cyberと自社のネットワークデータ（ライブ経路、トラフィック量、最近の攻撃活動、既存のWAFルール）を組み合わせ、実際の本番環境での露出度に基づいて符号の検出結果をランク付けする機能を導入した。優先順位付けこそが同製品の価値であり、各検出結果には修正パッチ案と適用範囲を限定したWAFルールが付属する。ただし、アクセスは招待制で、1回のエンゲージメントにつき認可されるアプリケーションは1つに制限されている。

OpenAIは「Daybreak for Frontline Defenders」プログラムに10億ドル相当のAIクレジットを助成し、これらは6ヶ月以内に消化される見込みだ。「Daybreak Blue」では防衛業務向けに制限付きのGPT-5.6 Solへのアクセスを提供し、「Daybreak Red」では承認された組織に対し、認可済みのオフェンシブセキュリティ向けにGPT-5.6 Cyberを提供する。この助成は、地域金融機関、水道インフラ、非営利団体、オープンソースのメンテナー、州・地方自治体チーム向けのMS-ISACパイロットなど、資金不足に悩む防衛市場の末端を対象としている。これにより、これまで最先端のセキュリティモデルに手が出せなかった組織にとって、導入の課題が予算から調達プロセスへと変わることになる。

NVIDIAは、1800万人の開発者、300万件のモデル、20万社が集まるHugging Faceを129億3030万ドルで買収することに合意した。Jensen Huangは、同プラットフォームでの構築や展開にNVIDIAの計算資源は必須ではないと述べている。オープンウェイトとマルチアクセラレータ展開のためのニュートラルなハブが、アクセラレータ最大手の傘下に入ることになる。このベンダーロックインをしないという約束こそが、エコシステム全体が同社に遵守を求める条件となるだろう。

「Claude Fable 5.1」とほぼ同等のAnthropicの社内研究用モデルが、11日間で約60億の出力トークンを消費して1300万行のLeanコードを生成した。これはMathlibの5倍以上の規模に相当し、証明された3万300件の定理のうち2万9500件がフェルマーの最終定理の最終的な証明に組み込まれている。Leanは3つの標準公理のみを用いてこれを検証しており、2024年にコミュニティによる形式化を主導したインペリアル・カレッジ・ロンドンのKevin Buzzardは、この成果物を今後の基盤として十分に堅牢であると評価している。今回の画期的な点は新しい数学の発見ではなく、その検証スピードにある。数年かかると予想されていた形式化が2週間足らずで完了したことで、現代数学文献の自動形式化が現実味を帯びてきた。

Bloombergによると、DeepSeekは内モンゴル自治区のデータセンターに少なくとも16万個のHuawei製「Ascend 950DT」チップを推論専用として導入する予定であり、トレーニングは引き続きNvidia製ハードウェアが担うという。この使い分けは、中国におけるNvidia代替の現実的な限界を示している。また、Huaweiがこの注文の納品を完了するまでには1年以上かかる見込みだ。国内メモリメーカーのCXMTはHBM3Eの小ロット生産を開始したものの、Samsung、SK Hynix、Micronからは3〜5年の遅れをとっている。

Googleのパーソナルエージェント「Gemini Spark」が、Google Photosのタスクを実行可能になった。画像の編集やアルバムの作成、コンサートのチラシからカレンダーの予定を作成するといった操作が可能になる。今後数週間かけて、米国のGemini AI ProおよびUltraのサブスクライバー向けに英語のみで提供開始される。この機能は全く新しいというよりは漸進的なものだ。アルバムの作成は元々難しくなく、米国・英語限定でのリリースは、消費者がなぜAIを求めるのかを業界が説明するのに苦心する一方で、あらゆる消費者向け接点にAIを組み込まなければならないという強いプレッシャーがあることを示している。

Microsoftは、64GB以上のユニファイドメモリと250GB/s以上の帯域幅を備えたマシン向けの事前構成済みWindows環境「Project Zenith」を発表した。同環境はまずAMDのRyzen AI Halo向けに提供される。実質的な価値は、ピン留めされたVS Codeのタスクバーではなく、このハードウェア要件にある。要件を満たすハードウェアを使用する開発者は、300億パラメータのコーディングモデルをローカルかつ従量課金なしで実行できる。これにより、日常的なエージェント型のワークロードを従量課金制の雲トークンから切り離し、複雑な課題はフロンティアモデルに処理させることが可能になる。

米NHTSAは、オースティンで量産第1号車が乗客を乗せて運行を開始した数時間後、TeslaがハンドルもペダルもないCybercabをFMVSS（連邦自動車安全基準）適合と自己認証した決定について監査調査を開始した。連邦規則では依然として手動制御装置の搭載が義務付けられており、トランプ政権による同義務の撤廃案はまだ発効していない。そのため、Teslaの車両は規制当局が現在異議を唱えている認証に基づいて運行されている状態だ。前例としてZooxが挙げられる。同社は2022年の自己認証で同様の監査プロセスを引き起こし、2026年7月にPart 555の適用除外が承認されて初めて商用乗車サービスを実現した。