開発者ツール

セキュリティ研究者が、文書に仕込んだ命令がMicrosoft Copilot for Wordを介して別の文書へ自己複製する「AIワーム」を実証しました。通常の編集操作だけで拡散する新しい脅威です。

開発者schildep氏が定理証明支援系Lean 4を使い、3D CSGのメッシュ交差計算を世界初とされる形式で検証しました。AIが書いた60,000行超の証明ではなく、93行の仕様だけ確認すればよい設計が注目を集めています。

AIとツールをつなぐ共通規格MCPの新仕様2026-07-28で、接続時のセッション管理が廃止されステートレス化します。負荷分散が容易になる一方、既存のMCPサーバー実装には移行対応が求められます。

研究者らがAIコーディングエージェントを実運用のハーネスごと強化学習で訓練できるOpenForgeRLを公開しました。ClawEvalでpass@1が31.7、pass@3が55.9に達し、同規模の他モデルを上回っています。

BlueskyがAIアシスタントAttieに新機能Questsを追加しました。AT Protocol上の複数アプリを横断して情報を調べられます。

Runwayが生成メディア向けAIモデルルーターを発表しました。品質・速度・コストに応じ最適なモデルを自動選択し、Adobe等の大手企業も既に採用しています。

個人開発者がGit worktreeで複数のAIコーディングエージェントを並列実行できるアプリShikigamiを公開しました。編集の衝突を防ぎ、Docker・MySQL連携まで備えています。

Linuxカーネルの最高位メンテナTorvalds氏が、AIコードレビュー導入への批判に反論しました。GoogleのAIツールSashikoは直近1000件の不具合の53%を検出しており、技術的な有用性を理由に容認する姿勢を示しています。

Perplexityが自社AIエージェント向けにセキュアな実行基盤SPACEを発表しました。Firecracker microVMで各タスクを隔離実行し、直近1週間で125万件のサンドボックスを作成した実績も公開しています。

xAIのコーディングエージェントGrok Buildが、開発者のGitリポジトリを無断で外部送信していたことが発覚しました。SSHキー等の機密情報が対象となり、xAIはコードをGitHubで公開しています。