AI 前沿毎日ブリーフィング — 2026-07-21

注：本実行ではGrokは抽出可能な回答を返さなかった（ブラウザは起動していたが、自動送信が生成をトリガーしなかった）。以下は WebSearch・各社公式ページ・Ollama による裏付けです。

1. 今日のトップニュース

• Claude Fable 5 がヤコビ予想の反例発見に貢献とされる。 7月20–21日、Levent Alpöge（Anthropic／ハーバード大）が X で公開した3変数多項式写像は、ヤコビアン行列式が一定 −2 ながら3つの異なる点を同一の像へ送り、1939年提出で87年間未解決だったヤコビ予想を次元3以上で反証した。本人はこの発見を Anthropic の Claude Fable 5 の功績としている。反例は独立に検算済み（Wolfram MathWorld、SymPy）；Google DeepMind の FormalConjectures による Lean 形式化 PR は審査中。※出典：Sina、NetEase、QQ、New Scientist（公式確定を優先）。
• 中国のオープンウェイトモデルが「三連発」。 Moonshot AI の Kimi K3（2.8兆パラメータ、7/16–17 公開）、アリババの Qwen 3.8（2.4兆、7/19 にオープンウェイトを予告）、DeepSeek V4（正式版はグレーテスト中）が数日の間に相次ぎ登場。※出典：Caixin、Huxiu、Toutiao、QQ。

2. モデルリリース動向

• Kimi K3（Moonshot AI、7/16–17）： 2.8兆パラメータ、100万トークン文脈、ネイティブ視覚；Kimi Delta Attention（KDA）＋ Attention Residuals；MoE は専門 896／活性 16。Frontend Code Arena で 1679 点を記録し Claude Fable 5 を上回る首位。完全なオープンウェイトは 7/27 までに公開。※出典：Caixin、Huxiu、Toutiao、QQ。
• Qwen 3.8（アリババ、7/19 公表）： 2.4兆パラメータ、オープンウェイト化を予定；プレビュー版 Qwen3.8-Max-Preview は Token Plan／Qoder／QoderWork で既に公開。アリババは「Fable 5 に次ぐ最強」と位置付ける。※出典：Huxiu、Toutiao、AI Insiders（公式確定を優先）。
• Microsoft の MAI ファミリー： Build 2026（6/2）で自社モデル 7 種を発表；旗艦の MAI-Thinking-1（活性 350 億パラメータ、文脈 256K）が Excel／Outlook 内の週数十万件のプロンプトを処理し、OpenAI と Anthropic のモデルを置換。※出典：Bloomberg、环球、財聯社。
• DeepSeek V4 API 移行 — 7/24 15:59 UTC 厳格截止： deepseek-chat／deepseek-reasoner が廃止され V4 へ移行（注意：reasoner はデフォルトで Flash に、Pro ではない）。※出典：集計（公式確定を優先）。

3. 産業と資本

• Kling AI（快手）が最大約 30 億ドル調達（7/2 公表）、評価額約 180 億ドルで動画生成モデル企業として世界最大級の単発調達を記録。騰訊・アリババクラウド・百度らが出資。※出典：新華社、Pandaily。
• Current AI が 4 億ドルを獲得、公共向け AI インフラ構築へ（うち仏国から 1 億ドル）。※出典：TechCrunch（集計、公式確定を優先）。
• Neko Health が 7 億ドル、Bunkerhill が 5500 万ドル（医療系エージェント AI）を調達；Agility Robotics はカリフォルニア州フレモントに Digit 人型ロボット訓練センターを開設。※出典：集計（公式確定を優先）。

4. 中国の存在感

• Kimi K3 は世界最大のオープンウェイトモデル（2.8兆）に。計算資源の逼迫で Moonshot は 7/19 に一般向け新規受付を一時停止。※出典：Caixin、Huxiu。
• DeepSeek V4 正式版はグレーテスト中；推論計算量は前身の約 27%（100万トークン文脈）に低減とされる。※出典：Toutiao／集計（公式確定を優先）。
• 智譜 GLM-5.2、MiniMax M3 らも WAIC で公開されるなど健闘。※出典：Toutiao／集計（公式確定を優先）。
• Kling AI が独立資金で分社化、中国マルチモダル技術の世界進出を示す。※出典：新華社。

5. 今日の視点

• AI は「人間の証明を検証する」から「検証可能な数学的対象を構成する」へと移行しつつある：Fable 5 がヤコビ予想の反例に貢献したとされる一方、Alpöge はプロンプトや過程を公開しておらず、人間とモデルの役割分担は未定義のまま。
• オープンウェイトモデルは「3兆時代」に突入。中国ラボ（Kimi／DeepSeek／Qwen）は規模と価格性能で差を詰めつつあるが、総合知能はなお Fable 5／GPT-5.6 Sol に水をあけられている。
• 巨人たちの「脱・第三者依拠」が加速：Microsoft の MAI は Office へ、DeepSeek は API を絞り、Kling は独立調達——計算コストとサプライチェーンの自律性が 2026 年下期の主題。
• 政策ウォッチ：EU 議会の EPGenAI Hub は 9 月までに議員へ展開予定（Meta／OpenAI／Anthropic／Mistral）；米国公衆衛生機関は OpenAI と Anthropic のモデルを試験導入へ。