毎日 08:00 発行
AIデイリー｜Apple Intelligence中国区への千問統合、MetaとNYUのLean証明改善ループ、DeepSeekのdsh-superagent公開 ほか
10件のニュース5セクション10の発信元約1分で読めます
この日報は AI が自動で要約しています。誤りを含む場合があるため、原典をご確認ください。
モデルリリース・アップデート
DeepSeek、Router-Worker型のオープンソース符号化エージェント「dsh-superagent」を公開 DDeepSeek Harness チーム
- 要点：DeepSeekは、単一リポジトリを対象に複数エージェントを並行稼働させるルーター・ワーカー型のコーディングエージェント原型「dsh-superagent」をオープンソースで公開しました。
- 公開形態：MITライセンスの下、GitHub上でオープンソースのプロトタイプ（v0.1.0）として一般公開されました。
- アーキテクチャ：全体の進行管理を担う「Router」と、独立したコンテキストで並行作業を行う複数の「Worker」による2層構造を採用しています。
- リンク：MarkTechPost 報道記事
プロダクトリリース・アップデート
Apple Intelligence、12月より中国市場でアリババの「千問（Qwen）」を統合へ AApple / Alibaba（阿里巴巴）
- 要点：Appleは12月に中国市場でApple Intelligenceの提供を開始し、SiriやWriting Tools、Visual Intelligenceのバックエンドとしてアリババの大規模言語モデル「千問（Qwen）」を採用することを明らかにしました。
- 提供時期と対象機能：2026年12月より中国区で順次展開され、Siri、文章作成ツール、ビジュアルインテリジェンスに組み込まれます。
- プライバシー配慮：千問の利用はユーザーのオプトイン制となり、アリババ側は入力されたリクエストや応答データをモデルの学習に使用しないとしています。
- リンク：
Perplexity、「Computer」エンジンを活用した4億年前の地球進化3D可視化機能を公開 PPerplexity
- 要点：Perplexityは、自社開発の「Computer」エンジンを活用し、14のオープンデータセットを基に4億年にわたる地球のプレートテクトニクス変化を3Dで対話的に探索できる機能を公開しました。
- データと描画：14のオープンデータセットと109枚の古海拔マップをベースに、258個のプレートが動く様子を3D空間で再現しています。
- インタラクティブ機能：ユーザーはタイムラインを自由にドラッグしたり、任意の都市名を入力して4億年前の地理的な位置を確認したりできます。
- リンク：
業界動向
xAI、Grok @Botに家族や友人の好みを調査して代行購入するギフト機能を導入 xxAI
- 要点：xAIのイーロン・マスクCEOは、Grokのボット機能がユーザーの友人や家族のX上の投稿や会話履歴を分析し、最適なプレゼントを自動選定して購入する機能を発表しました。
- 機能の概要：ユーザーが対象のSNS上の履歴や好みをGrokに解析させ、X Moneyアカウント経由で予算内のサプライズギフトを自動購入します。
- ユースケース：すでにテスト利用でハリー・ポッターのレゴセットなどが選ばれ配送された事例が報告されています。
- リンク：
中国AIハードウェア動向：長鑫ストレージがHBM3Eサンプル出荷、宇樹科技はQ3好決算 長長鑫ストレージ（CXMT） / 宇樹科技（Unitree）
- 要点：中国のメモリ大手・長鑫ストレージ（CXMT）が国内向けにHBM3Eのサンプル出荷を開始したほか、四足歩行ロボットの宇樹科技が第3四半期に大幅な増収を達成したことが報じられました。
- 長鑫ストレージのHBM3E：国内のチップ設計会社へHBM3Eのサンプルが送付され、数ヶ月以内の限定量産が計画されています。
- 宇樹科技の業績：2026年第3四半期の売上高が前年同期比69.9%増の6.65億元に達し、ロボットおよびAIハードウェア需要の拡大を反映しています。
- リンク：Recode China AI 記事
研究論文
- 要点：MetaとNYUの研究チームは、複雑な計画立案を行わず高速なフィードバックループと進捗要約のみを繰り返す手法「h1」を提案し、Lean定理証明において従来の手動ワークショップ型システムを凌駕する成果を上げました。
- 手法の特徴：事前構築された複雑なプランに頼らず、モデルに高速なLeanフィードバックと検索ツールを与え、失敗ごとに進捗要約を生成しながら処理を継続するシンプルなループを採用しています。
- ベンチマーク結果：PutnamBenchにおいて、手動で構築された「Goedel-Architect」を598対597で上回りました。
- リンク：
Google、コードマージ前のテスト自動修復を実現するCI統合エージェント「FlowAgent」を発表 GGoogle Research
- 要点：Googleの研究チームは、社内のCI環境に導入され、テスト失敗の検知から修正コードの生成・再ビルドまでを全自動で行うエージェント「FlowAgent」の成果を発表しました。
- 処理の流れ：テストの失敗を検知するとエージェントが自動でコードを修正・構築し、テストが成功するまで検証ループを回します。
- 実用実績：実際の開発環境において約2.8万件の修正が開発者に採用されており、修復処理の中位時間は約9.85分を記録しています。
- リンク：
Googleなどの共同研究、ユーザーの状況を自律判断して介入するビデオAIエージェント「StreamVibe」 GGoogle Research / スタンフォード大学 / オックスフォード大学
- 要点：Google等の研究グループは、ユーザーの明示的・暗黙的な意図や作業中の変化をリアルタイムで把握し、最適なタイミングで音声アシストを提供するビデオAIエージェント「StreamVibe」を発表しました。
- ベースモデルと性能：Qwen3.5-9Bをベースにした「StreamVibe-VL」を採用し、介入タイミングと品質において既存モデル比で約10.7%の性能向上を達成しました。
- 長期記憶システム：独自の記憶システムにより、長時間の動画セッションにおける文脈維持や主動的なインタラクション能力が強化されています。
- リンク：The Decoder 報道記事
その他の話題
Grok Botエンジニアが語る、AIを活用した4日間でのゲーム開発と形式化検証の裏側 LLauren Tan（xAI / Grok Bot エンジニアリング責任者）
- 要点：xAIのエンジニアリング責任者であるLauren Tan氏が、Claude等のAIを活用してわずか4日間で副業ゲームを開発し、約1150件のPRやTLA+による形式化検証を導入した実践知見を共有しました。
- 開発の規模：4日間で約1150件のプルリクエスト（PR）を処理し、バグが見つかるたびにボットにlintルールを追加するアプローチを採用しました。
- 形式化検証の活用：TLA+を用いてゲームのストーリー、カットシーン、状態マシンを厳密に検証し、各主要システムに専用の形式化検証スキルを割り当てました。
- リンク：
Andrej Karpathy氏、Claude Codeを用いて2時間でHacker News動画検索サイト「HackerTube」を構築 AAndrej Karpathy
- 要点：著名AI研究者のAndrej Karpathy氏が、Claude CodeとOpus 5.5モデルを活用し、Hacker Newsの過去20年間の膨大なコメントから推薦ビデオを抽出しまとめたWebサイト「HackerTube」を約2時間で独力構築・公開しました。
- データの処理：20年間のHacker News上の4,300万件のコメントから、エンジニアに継続的に推奨されている6,454本のビデオをAIが選別しました。
- 開発プロセス：APIキーの取得やドメイン購入などの手動作業を除き、データ分析やサイト構築の大部分をClaude Codeで自動化しました。
- リンク：
✳最後まで読んでくれてありがとう。
また明日、一緒に探しましょう。 