AI Daily Digest — 2026年7月13日

本日のAI業界注目ニュースを 11件 厳選してお届けします。

TOP 3

モデル

Tencent Hunyuan、295BパラメータMoEのHy3モデルを発表

Tencent Hunyuanチームは、2950億総パラメータ、210億有効化パラメータのMoE構成を採るHy3モデルを発表した。AIHOTの要約によると、Hy3はAgent向けLLMとして位置付けられ、preview版から正式版まで50件超の実業務フィードバックをもとに改良された。社内WorkBuddyではタスク成功率が72%から90%へ上がり、所要時間は34%短縮、幻覚や常識誤りも継続的に低下したという。coding、オフィス作業、複雑なタスク計画に強みがある一方、純粋な視覚能力は短板とされる。すでに微信サービスへ統合され、10億人超のユーザーに届く環境で使われている。

プロダクト

Mesh LLM、複数マシンのGPUとメモリを束ねる分散AI基盤を公開

Mesh LLMは、ユーザーが持つ複数マシンのGPUとメモリをプール化し、OpenAI互換APIとして公開するオープンソースプロジェクトだ。irohネットワークライブラリを使ったピアツーピア接続により、中央サーバーなしで動作する。リクエストはローカルGPUで実行するほか、対象モデルを読み込んだ別ノードへルーティングしたり、大規模モデルを層単位で複数マシンに分割し、パイプライン式に処理したりできる。内蔵モデルは40種類超で、5億パラメータ級から235B MoE級までを対象にする。ソフトウェア本体は約18MBで、起動後は `localhost:9337/v1` から利用できる。

CodexとChatGPT Work、5時間制限の一時撤廃など複数更新

Tibo氏は、CodexとChatGPT Workに関する過去48時間の更新として、Plus、Business、Proプランの5時間使用制限を一時的に撤廃したことを共有した。あわせて、GPT-5.6 Sol全体の効率を高める変更を展開中で、使用量の削減により同じ上限内でより長く使えるようになる見込みだとしている。具体的な影響は計測後に共有される予定。投稿では、アクティブユーザーが600万人に到達したことと、使用量リセットを実施することも示された。

Mindwalk、コードベース3DマップでAIコーディングセッションを再生

Mindwalkは、Claude CodeやCodexのセッションログを、コードベースの3Dマップ上で再生する可視化ツールだ。リポジトリを夜間地図のように描画し、エージェントが検索、閲覧、読解、編集したファイルを発光表示することで、タスク理解の範囲を直感的に把握できる。単一のGoバイナリで動作し、セッションデータは完全にローカル処理される。表示はツリーマップと地形図に対応し、ファイル状態は未訪問、確認済み、読解済み、編集済みの色で区別される。再生画面にはエラー率、変更量、コンテキスト圧縮、サブエージェント起動、ユーザー介入などのタイムラインも含まれる。

業界

Apple、OpenAIの人材引き抜きと秘密情報持ち出しを提訴

Appleは米国でOpenAIを提訴し、400人規模の従業員引き抜き、開発機や機密文書の持ち出しを主張している。AIHOTが引用した分析では、Paolo Pescatore氏が、仮に主張が最終的に立証されなくても、OpenAIのハードウェア計画には大きな負担になり得ると見ている。スタンフォード大学のMark Lemley教授は、元Apple社員が実際に機密文書を持ち出し、OpenAI内で使っていた場合には深刻な問題になると指摘した。訴訟は消費者向けハードウェア製品に関わるもので、今後さらに詳細が明らかになる見通しだ。

リサーチ

OpenAI GPT-5.6 Sol Ultra、50年来のグラフ理論予想を1時間で証明と発表

OpenAIは、GPT-5.6 Sol Ultraがグラフ理論の難問「巡回二重被覆予想」の完全な証明を1時間未満で生成したと発表した。この予想はGeorge Szekeres氏とPaul Seymour氏が1970年代に提起し、50年以上未解決だった。モデルは64の並列サブエージェントと対抗エージェントを使い、8時間の計算枠のうち約1時間で証明を作成したという。OpenAIは証明とプロンプトをPDFで公開した。ただし、証明はまだ査読を受けておらず、Leanなどの形式手法でも検証されていない。検証を通過すれば、LLMがWikipediaの未解決数学問題リストにある難題を独立解決した初の事例になる可能性がある。

技術

ナデラ氏、「逆情報パラドックス」と企業AI利用の知識保護を提起

Microsoft CEOのSatya Nadella氏は、AI時代の「逆情報パラドックス」を提起した。企業はAIを使うために対価を支払いながら、同時にプロンプト、ツール利用、修正フィードバックといった専有知識をさらす必要がある。こうした知的な副産物がモデル学習に取り込まれると、情報の非対称性が売り手側へ傾き得るという問題意識だ。Nadella氏は、企業が自社データ、評価、適応重み、記憶を信頼境界の内側で蓄積し、同意なく外へ出さない仕組みを求めた。さらに、企業がモデル出力を用いて自社モデルを微調整または訓練する権利も重要だとしている。

Tibo氏、CLIProxyAPIでClaude CodeのバックエンドをGPT-5.6 Solへ切り替える方法を共有

Tibo氏は、CLIProxyAPIを使ってClaude CodeのバックエンドモデルをGPT-5.6 Solに切り替える手順を共有した。手順は、CLIProxyAPIのインストール、認証接続、環境変数と `claudex` エイリアスの設定という3段階で構成される。エイリアスにはサブエージェントモデル、Effortの常時有効化、最大並列ツール呼び出し数などの設定が含まれる。引用投稿では、プロキシ設定済みであれば約2つのプロンプトで完了できるとも補足された。Tibo氏は全体で約5分の作業だと説明している。

xAI Grok Build CLI、リポジトリ全ファイルとgit履歴のアップロードが分析される

xAI公式のGrok BuildコーディングCLI(grok 0.2.93)について、ネットワークトラフィック分析が公開された。分析によると、消費者ログイン後に同CLIは三種類のデータをxAIへ送信する。第一に、読み取ったファイル内容、場合によっては `.env` の秘密情報を含む内容が `/v1/responses` へ平文の形で送られる。第二に、それらをsession_stateとしてまとめたアーカイブが `/v1/storage` へアップロードされる。第三に、AIエージェントが実際に読んだかどうかにかかわらず、リポジトリ全体のファイル内容とgit履歴がgit bundleとしてGoogle Cloud Storageへアップロードされるという。分析は、コーディングCLIのデータ境界確認の重要性を示している。

Altman氏、AIは雇用を純増させているとの見方へ軌道修正

OpenAI CEOのSam Altman氏は、AIがこれまでのところ雇用を純増させていると「かなり確信している」と述べ、これは自身の当初予想とは異なると認めた。以前はAIの影響が速く、怖さを伴う可能性を警告していた。Anthropic CEOのDario Amodei氏も、初期の発言を修正し、自動化を職の消滅ではなく生産性を増幅するものとして説明している。一方、複数の研究ではAIが全体の生産性や労働市場に顕著な影響を与えた証拠はまだ見つかっていない。ある共同研究は、プログラマーやコピーライターの雇用危機がChatGPT公開前の2022年初頭に始まっていたと指摘し、Yale Budget LabもAI関連の労働市場変化を確認していない。

オープンモデル、今後6カ月が生存試験になるとの見方

Nathan Lambert氏は、オープンモデルが今後6カ月で大きな規制圧力に直面する可能性を論じた。記事によると、米ホワイトハウスでは新たな大統領令によるオープンモデル管理が議論されており、GPT 5.5、Claude Opus 4.8、GLM-5.2に近い能力を持つオープンウェイトモデルの公開を禁止または無期限延期する案が浮上しているという。Anthropic主導の反中国モデル政治運動は知識蒸留を理由に規制を推進しているが、Lambert氏は実質的には規制捕捉だと批判する。関連会合ではReflection AIが、能力に基づくオープンモデルの免除を主張したとされる。