🤖💻 AI Daily Digest — 2026年7月12日
今週もAI業界は目が離せない一週間だった。OpenAIが12日間の制限付きプレビューを終了し、GPT-5.6シリーズを一般公開。MetaのMuse Spark 1.1はザッカーバーグが3年ぶりにXへ投稿するほどの注目を集めた。NVIDIAとHugging Faceはヒューマノイドロボティクスのオープン化に向けて大きく前進した。
1. OpenAI GPT-5.6 一般公開 — Sol・Terra・Lunaの3層体制
OpenAIは7月9日、12日間の政府審査付きプレビューを終了し、GPT-5.6シリーズを正式リリースした。Sol（フラッグシップ）、Terra（バランス）、Luna（コスト効率）の3モデルは「耐久性のある性能層（durable capability tier）」という新しいコンセプトを採用。Solは今後GPT-5.7にアップグレードされてもSolというアイデンティティを維持する。
Solはコーディング（Artificial Analysis Coding Agent Indexで80点、Claude Fable 5を2.8ポイント上回る）、サイバーセキュリティ（ExploitBench 73.5% vs GPT-5.5の47.9%）、知識作業でSOTAを達成。3つの努力モード（default / max / ultra）を備え、ultraモードでは4つの並列エージェント（最大16まで拡張可能）を調整する。価格は入出力100万トークンあたりSolが$5/$30、Terraが$2.50/$15、Lunaが$1/$6。
同時にChatGPT Workが発表され、CodexはChatGPTデスクトップアプリに統合された。Programmatic Tool Calling機能により、GPT-5.6はツールを連携する軽量プログラムをその場で記述・実行できる。
— OpenAI · ChatGPT Blog
🔗 OpenAI GPT-5.6 · ChatGPT Work
2. OpenAI GPT-Live — 同時に聞き、同時に話すリアルタイム音声モデル
同じ週、OpenAIは7月8日にフルデュプレックス音声モデル GPT-Live をローンチした。GPT-Live-1とGPT-Live-1 miniの2バージョンが世界中のChatGPTユーザーに展開されている。
従来の音声モデルは3モデルを直列に繋ぐカスケード方式か、相手が話し終わるのを待つターン制だった。GPT-Liveのフルデュプレックスアーキテクチャは入力を連続処理しながら同時に出力を生成。話す・聞く・間を置く・遮る・ツールを呼び出すといった判断を毎秒複数回行う。「うん」「わかった」などの相槌も自然に打ち、沈黙が必要なときは黙って待つ。
検索や深い推論が必要な質問はGPT-5.5に委任し、結果を会話の流れを止めずに戻す。デモでは同時通訳を遅延なく実現して見せた。評価ではAdvanced Voice Modeを大幅に上回る満足度を記録している。
— OpenAI
🔗 OpenAI GPT-Live
3. Meta Muse Spark 1.1 — ザッカーバーグが3年ぶりにXへ投稿
Metaは7月9日、Muse Spark 1.1をリリースした。CEOのマーク・ザッカーバーグが3年ぶりにXへ投稿し、「非常に低価格で高性能なエージェント＆コーディングモデル」と紹介した。
Muse Spark 1.1はエージェントタスクに特化して設計されている。JobBenchで54.7%（Claude Opus 4.8の48.4%を上回る）、MCP Atlasで88.1（Opus 4.8の82.2を上回る）。100万トークンのコンテキストウィンドウとコンテキスト圧縮機構を備え、メインエージェントとサブエージェントの委任パターン、ゼロショットでの新ツール適応をサポートする。
コーディング能力は飛躍的に向上したが、結果は混在している。Vibe Code Benchは19.7%から72.2%へ跳ね上がったものの、SWE-Bench Proでは61.5%とOpus 4.8の69.2%に及ばない。Metaは本モデルを「ピュアなコードリーダー」ではなく「エージェントオーケストレーター」として位置づけている。
— Meta AI Blog · Zuckerberg on X
🔗 Meta AI Blog · TMT Post Analysis
4. Microsoft、ExcelとOutlookで自社MAIモデルに切り替え
Microsoftは7月8日までに、ExcelとOutlookで利用するAIモデルをOpenAIやAnthropicのサードパーティモデルから自社開発の MAIシリーズ に切り替え始めたとBloombergが報じた。
現在、両アプリでは週に数万件のAIプロンプトリクエストが完全にMAIモデルで処理されている。Microsoft全体のAIワークロードから見ればまだ一部だが、戦略的な転換点と言える。ムスタファ・スレイマン率いるAIチームはモデル自律化を急いでおり、Copilotの膨大なトークン消費を自社モデルで賄うことで、OpenAI・Anthropicへの支払いを削減する狙いがある。
— Bloomberg · Peng
🔗 Bloomberg via 163.com
5. NVIDIAとHugging Face、ヒューマノイドロボティクスをオープン化
NVIDIAとHugging Faceは7月7日、ヒューマノイドロボット向けVLAモデル Isaac GR00T 1.7とデータ収集フレームワーク Isaac Teleop を、Hugging Faceのオープンソースロボティクスライブラリ LeRobot に統合することを発表した。
GR00T 1.7は初のオープンかつ商用利用可能なロボット基盤モデル。開発者はLeRobotの標準ワークフローを通じてポストトレーニングとデプロイが可能になる。Isaac Teleopは人間のデモンストレーションデータを相互運用可能な形式でキャプチャする。さらに今後、物理世界のフロンティアモデル Cosmos 3 がLeRobotに統合される予定で、実世界データが不足する場合に合成データを生成する。
この連携により、NVIDIAの300万人のロボティクス開発者とHugging Faceの1600万人のAI開発者がつながる。
— NVIDIA Blog · Hugging Face Blog
🔗 NVIDIA Blog · Hugging Face Blog
6. ZCode：GPT-5.5を上回る無料AIコーディングエージェント
Z.ai（旧智譜AI）は7月2日、7440億パラメータ（アクティブは約400億）のMoEモデル GLM-5.2 を搭載した無料の「エージェンティック開発環境」ZCode をリリースした。
SWE-Bench ProでGLM-5.2は62.1を記録し、OpenAIのGPT-5.5（58.6）を上回った（Claude Opus 4.8の66.0には及ばず）。Terminal-Bench 2.1では81.0（Opus 4.8は85.0）。価格戦略は攻撃的で、基本ティアは無料、有料プランは月額$16.20から（Cursor Proの$20を下回る）。API価格は入出力100万トークンあたり$1.40/$4.40で、Claude Opus 4.8の$5/$25の数分の一だ。
macOS/Windows/Linux対応で、WeChatやFeishuからのリモート操作も可能。100万トークンのコンテキストウィンドウを備え、AnthropicのFable 5停止から3週間後のリリースタイミングも話題を呼んだ。
— Z.ai · EastFrontier
🔗 EastFrontier
7. Mistral Leanstral 1.5：実際のバグを発見するオープンソースの形式検証モデル
Mistral AIは7月2日、Lean 4による定理証明とコード検証に特化した Leanstral 1.5 をApache 2.0ライセンスで公開した。1190億パラメータのスパースMoEモデルで、1トークンあたり約60億パラメータのみを活性化する。
ベンチマークは圧倒的だ。miniF2Fで100%（検証・テスト両方）、PutnamBenchで672問中587問を解決、FATE-H（87%）とFATE-X（34%）でSOTA。PutnamBenchの問題あたりのコストは約$4と、最高性能の比較システムを大幅に下回る。
実用的なインパクトも大きい。RustコードをLeanに変換し、正しさの証明を試みるパイプラインを構築。57のオープンソースリポジトリをスキャンし、11の真正なバグを発見、うち5件は未報告のものだった。256,000トークンのコンテキストウィンドウをサポートし、MistralのLabsティアで無料利用可能。
— Mistral AI
🔗 Mistral AI Blog · The Agent Times · Hugging Face Model