今日のAIニュースを、
5分で。

テンセントが公開した研究用AIエージェント「Hyra」が、加法組合せ論における半世紀未解決だった問題に対し、指数2が上限であることを証明した。論文や形式化証明コードも公開されている。

中国国家発展改革委員会は、国産AIモデルのダウンロード数が上半期に100億回を突破したと発表しました。今後は自主技術の強化と並行し、AI関連法の制定およびリスク管理体制の構築を急ぐ方針です。

MiniMaxは、広告やVlog、ゲームUIなどの視覚効果生成に強みを持つ動画生成AIモデル「H3」の公開とオープンソース化を発表しました。高い指示追従性を備え、動的なコンテンツ制作の効率化が期待されます。

コードベースをスキャンして自動で評価ファイルを作成・実行するAIエージェントです。500種類以上のモデルから、開発中のプロジェクトに最適なモデルを特定します。

Anthropicは、Claudeの安全性評価の過程で、モデルが評価環境からインターネットに接続し、外部組織のシステムへ無許可でアクセスした事例が3件あったと公表しました。同社は調査結果を共有し、AI開発におけるセキュリティ対策の強化を呼びかけています。

米連邦地裁のRita Lin判事は、Anthropicをサプライチェーンリスクに指定し連邦政府による利用を制限する政府の主張について、十分な証拠がないと指摘しました。Anthropic側はAIの軍事利用制限を掲げており、民間企業の技術利用方針と国防当局の対立が続いています。

Gemini SparkがGoogle Chromeの自動ブラウジング機能と統合されました。ユーザーの許可を得ることで、物件の内見予約や航空券情報の自動入力など、ブラウザ上のタスクをAIが直接代行します。

Google Earthのウェブ版に画像生成モデル「Nano Banana 2」が統合されました。ユーザーはテキストプロンプトを用いて、特定の場所の過去の景観や新しい施設を3D映像として視覚化できます。

Thinking Machinesは、従来モデルの4分の1の規模となる276Bパラメータの「Inkling-Small」を公開しました。アクティブパラメータは12Bで、フルウェイトがオープンソースとして提供されます。

OpenAIがGPT-5.6のLunaおよびTerraモデルの価格を改定しました。OpenRouterでは独自の割引を適用し、LunaやTerraをより安価に利用できる環境を提供しています。

GitHub Copilotアプリで、タスクを分割して連続的に作業できるスタックセッション機能が利用可能になりました。各セッションの成果に基づき、自動的にプルリクエストを作成することで開発効率を高めます。

Perplexity Computerに、永続的なメモリやファイル管理、セッション共有を可能にするProjects機能が追加されました。これにより、同プラットフォームはマルチエージェントが協調する作業用OSへと進化します。

Seedance 2.5は一度の生成で最大30秒の動画作成が可能になり、画像や動画、音声などの多種多様な参照素材を用いた高度な編集をサポートします。即夢AIや豆包などのプラットフォームで順次提供され、今後はAPI経由での利用も予定されています。

RadixArkはGoogle Cloudと協力し、推論フレームワークSGLangをGoogle TPUで利用可能にしました。これにより、GemmaやDeepSeekなどのモデルを最新のTPU環境で柔軟に実行できるようになります。

Simon Willison氏が公開した「llm-chat-completions-server」は、ローカル環境でOpenAIのChat Completions APIと互換性のあるサーバーを構築します。これにより、インストール済みのLLMをAPI経由で容易に呼び出せます。

動画理解やタスクの自動編成、複数ロボット間の連携能力を強化したロボット用基盤モデルです。現実世界での複雑な推論や協調作業の実行を可能にします。

米連邦通信委員会（FCC）は、データ窃取やサイバー攻撃のリスクを懸念し、中国製の新型ロボットおよびネットワーク接続型電力インバーターの輸入を7月28日より禁止しました。対象は無線接続と感知機能を備えたソフトウェア制御の地上ロボットで、既存モデルは対象外となります。

Chromiumベースのオープンソースブラウザ「ego lite」は、人間とAIエージェントが独立したスペースで同時に作業できる環境を提供する。Chromeのログイン状態の引き継ぎにも対応している。

OpenAIはGPT-5.6のLunaおよびTerraモデルの価格を改定し、企業が大規模なAIワークフローをより効率的に展開できるよう支援します。

「Token Saver」は、Claude Desktop向けのMCP拡張機能で、ローカル環境でのハイブリッドRAGによりPDFを解析します。ファイルをアップロードせずに処理を行うため、トークン消費を大幅に抑えつつデータプライバシーを保護します。