AI Daily Digest — 2026年7月15日

KD Agentic · 2026年7月15日

Meta Muse Spark 1.1 発表、コードエージェント価格競争に参入

Meta Superintelligence Labs は7月9日、エージェント型コーディングタスクに最適化されたマルチモーダルモデル Muse Spark 1.1 を発表した。同時に、Replit、Cline、Box をパートナーとする新たな Meta Model API も公開。特筆すべきは、Mark Zuckerberg が約3年ぶりに X に投稿して自ら発表したことだ。

価格は 入力100万トークンあたり1.25ドル、出力100万トークンあたり4.25ドル。Anthropic の Claude Haiku 4.5 や OpenAI の GPT-5.6 Luna を下回り、Meta がコスト競争を軸に据えていることを明確にしている。同モデルは複数ステップのワークフロー、バグ修正、コード移行、エンタープライズ機能展開など、Claude Code や Cursor と同じ領域をカバーする。

併せて Meta は、自社開発 AI チップ Iris のテストが完了し、2026年9月に TSMC で量産開始することを明らかにした。MTIA（Meta Training and Inference Accelerator）シリーズの一環で、GPU 容量を補完し Nvidia 依存度を低減する狙いがある。Meta は2026年に 7GW、2027年に 14GW の AI 計算能力を計画し、今年の AI 関連設備投資は最大 1450億ドル に達する見込み。

— Meta · TechCrunch

🔗 Meta Muse Spark 1.1 — TechCrunch · Meta Iris Chip — CNBC

Microsoft MAI モデル、Excel と Outlook で OpenAI を静かに置換

Microsoft は、自社開発の MAI シリーズ モデルで OpenAI および Anthropic モデルを2つの主力製品で置き換え始めた。Bloomberg の報道によると、Excel と Outlook における毎週数万件の AI プロンプトリクエストが、現在は完全に Microsoft 自社モデルで処理されている。

この動きはコスト圧力への直接的な対応だ。6月の Build カンファレンスで、Microsoft AI 責任者の Mustafa Suleyman 氏は「我々は Anthropic に毎年多大な額を支払っている。この不必要な支出を徐々に削減し、最終的になくすことが目標だ」と明言した。Microsoft は Build で7つの自社 AI モデルを発表し、そのうちの1つは Anthropic Opus 4.6 のパフォーマンスを大幅に低いコストで実現するコーディングモデルだ。

MAI モデルは GitHub Copilot にも統合済み。Suleyman 氏は、独自の音声文字起こしモデルが数ヶ月以内に Microsoft Teams でローンチされると明かした。この動きは、Microsoft が M365 Copilot で GPT-5.6 を推奨モデルとする一方で、自社モデルへの置換も同時に進めるという、OpenAI との複雑な関係を浮き彫りにしている。

— Bloomberg · Microsoft

🔗 Microsoft MAI — Bloomberg · Microsoft Build — Microsoft

NVIDIA と Hugging Face、GR00T 1.7 と Isaac Teleop を LeRobot に統合

NVIDIA と Hugging Face は7月7日、ヒューマノイドロボット向け VLA（Vision-Language-Action）基盤モデル Isaac GR00T 1.7 と、人間のデモデータ収集のためのオープンフレームワーク Isaac Teleop が、Hugging Face のオープンソース LeRobot ライブラリと完全互換になったと発表した。

GR00T 1.7 は LeRobot ワークフローを通じてポストトレーニングとデプロイが可能。Isaac Teleop は相互運用可能な Parquet 形式で標準化されたデモデータパイプラインを提供する。この統合により、遠隔データ収集からシミュレーション訓練、モデル微調整、実機デプロイまでのエンドツーエンドのオープンソースロボティクスツールチェーンが実現する。

NVIDIA の計画する Cosmos 3 世界基盤モデルは、実世界データが不足する場合にロボティクスのデータ生成と拡張を支援する。この統合により、NVIDIA の300万人のロボティクス開発者と Hugging Face の1600万人の AI 開発者が接続され、身体性 AI 研究の参入障壁を大幅に引き下げる。

— NVIDIA · Hugging Face

🔗 NVIDIA Blog · Hugging Face Blog

Mistral Leanstral 1.5、形式的検証で完全スコアを達成

Mistral AI は7月2日、Lean 4 での形式的検証に特化した 119B パラメータ（6B アクティブ）の MoE モデル Leanstral 1.5 を Apache 2.0 ライセンスでリリースした。同モデルは miniF2F を完全達成（検証・テストセットともに100%）、PutnamBench で 672問中587問を解決、FATE-H（87%）と FATE-X（34%）で新たな SOTA を達成した。

Leanstral 1.5 は中間訓練、教師ありファインチューニング、Mistral の CISPO アルゴリズムによる強化学習の3段階パイプラインで訓練されている。2つの環境で動作する：定理証明ループと、ファイル編集、bash コマンド実行、Lean 言語サーバー活用が可能なコードエージェント環境だ。

実世界での成果も印象的だ。57のオープンソースリポジトリから 11件の本物のバグを特定し、うち 5件は未報告だった。特筆すべき発見の1つ：datrs/varinteger Rust ライブラリのジグザグ復号関数における整数オーバーフローで、クラッシュやデータ破損を引き起こす可能性があった。PutnamBench で 問題あたり約4ドル（対照系は300ドル以上）というコスト効率により、Leanstral 1.5 は形式的検証を実用的な規模で利用可能にした。

— Mistral

🔗 Mistral Blog · Hugging Face Model

Perplexity Teammate：AI コーディングツールが競争市場に参入

AI 検索スタートアップ Perplexity（評価額 200億ドル）は、コードネーム "Teammate" の新しい AI コーディングツールを開発中だ。Business Insider によると、社内エンジニアが5月からテストを開始しており、一般公開が検討されている。

Teammate は単発のコード提案ではなく、長期間のエンジニアリングタスク（プロジェクト全体の管理、コードデバッグ、本番サービスのリアルタイム監視）向けに設計されている。内部スクリーンショットでは、セキュリティ脆弱性の検出に使用されている様子が確認できる。重要な差別化要因は モデル非依存 である点：特定の LLM に縛られず、タスクごとに最適なモデルを選択できる。

この動きにより Perplexity は、Cursor、Claude Code、GitHub Copilot と急成長する AI コーディングツール市場で直接競合することになる。CTO の Denis Yarats 氏は社内での AI 支援開発の積極的な導入を推進している。

— Business Insider · Perplexity

🔗 Business Insider · Perplexity

ByteDance EdgeBench：AI エージェントの学習速度が3ヶ月ごとに倍増

ByteDance の Seed チーム は7月7日、AI エージェントに関する注目すべき発見を発表した。環境内での学習速度が約3ヶ月ごとに倍増しているという。arXiv:2607.05155 で公開された論文は、134の実世界長時間タスクをカバーするベンチマークプラットフォーム EdgeBench を紹介している。

5つのフロンティアモデルによる累計 38,000時間 のエージェント・環境相互作用データの分析により、学習進捗が ロジスティックシグモイド曲線 に従い、適合度は R² = 0.998 とほぼ完全であることが判明した。2025年9月から2026年4月にかけて、エージェントが環境との相互作用から学習する速度は四半期ごとに倍増している——この傾向が持続すれば、デプロイされた AI システムが人間の再訓練なしに適応できる速度に重大な示唆を与える。

この発見は、AI エージェントの「学習の学習」能力自体が予測可能にスケーリングしていることを示唆し、本番環境にデプロイされたエージェントが新しい状況に対処するために必要な人間の監督が徐々に減少する可能性を提起している。

— ByteDance Seed

🔗 arXiv:2607.05155 · Project EdgeBench

OpenAI GPT-5.6、Microsoft 365 Copilot の推奨モデルに

OpenAI は7月9日、GPT-5.6 が Microsoft 365 Copilot（Word、Excel、PowerPoint、Chat、Cowork）の推奨モデルになったと発表した。この統合により、OpenAI の最先端モデルシリーズが数億人が使用する生産性ツールに導入されることになる。

OpenAI の発表によると、GPT-5.6 により Word では少ないプロンプト回数で文書の作成・編集が可能に、Excel ではより効率的なトークン使用で深いデータ分析が可能に、PowerPoint では初期アイデアから洗練されたプレゼンテーションへの変換が容易になる。Microsoft の Copilot & Agents Core 責任者 Nitin Agrawal 氏は「顧客が GPT-5.6 搭載の Copilot で、より洗練された成果物を生み出せることを楽しみにしている」と述べた。

この発表は、Microsoft が同時に一部製品で OpenAI モデルを自社 MAI モデルに置き換えているという報道の数日後に行われた——Microsoft と OpenAI のパートナーシップが、戦略的自立性を追求しつつも深く絡み合い続ける複雑な性質を浮き彫りにしている。

— OpenAI · Microsoft

🔗 OpenAI Blog · Microsoft