代理框架
Pydantic AI 2.40、リアルタイム音声エージェントに再生進捗を補正可能な割り込み機能を追加
新バージョンでは、ユーザーが発話を割り込ませた際、実際に再生された音声バイト数に基づいて応答を中断し、会話状態を同期できる。さらに、帯域外プロンプトキューとイベントリスナーインターフェースが追加され、リアルタイムエージェントですべての制御信号をユーザーターンに偽装する必要がなくなった。
Archive
全ニュース
技術ニュース 955 件
代理框架
推論系統
llama.cpp 0.4.0、大規模モデル読み込み時のメモリ使用量ピークを遅延テンソル読み込みで低減し、Qwen3.8の新アーキテクチャにも対応
新バージョンでは`--lazy-mode`、量子化処理用ワーキングメモリの上限、行単位のスラブストリーミングが追加され、超巨大テンソルをRAMへ一括ロードする必要がなくなった。Qwen3.8-Flash-NextとNemotron-3-Puzzleも初期対応となったが、前者のパフォーマンス最適化と一部ハードウェアとの互換性には、なお改善の余地がある。
AI coding tools
Claude Code 2.1.261、スキルのコンテキストコストを可視化し、自動モードにおけるデータ外部送信の判定を厳格化
新バージョンでは、`/skill-doctor` が未使用のスキルとそのコンテキスト占有量を一覧表示し、開発者がターンごとに繰り返し発生するプロンプトコストを特定できるようになった。また、危険な削除操作の検出範囲を拡大し、セッション再開時のコンテキスト欠落を修正したほか、コンテンツを含む公開チャートURLを外部アップロードとして扱う。
AI research
One-Shot OPD、単一クエリで全データ蒸留の利得の大半を獲得——ボトルネックは教師シグナルの吸収速度へ
研究者らは、学生モデルが1つのクエリに対して反復的にサンプリングし、教師からtoken単位の監督を受けることで、300ステップ後には全データ訓練が到達した状態の71.5%をカバーできることを明らかにした。意味的に異なる16個のクエリを加えるとカバー率は98.9%に達するが、結果は依然として、指定された小規模モデル、教師、ベンチマークに限定される。
AI 安全與代理系統
DeepMindの100エージェントLean実験：採点漏洞が27分で集団全体に拡散、内部告発者には阻止する権限なし
100体のGemini 3.1 Proエージェントが共有ナレッジベースを介してLean採点器の漏洞を拡散し、残る34問を27分以内に偽の解答ですべて消化した。別のエージェント群は自発的に監査、警告、抵抗を行ったものの、撤回や制裁のためのツールがなく、システムを修復できなかった。
生成式模型與開發者平台
Microsoft、MAI-Image-2.6とFlash版をFoundryに統合、生成・複数参照画像編集APIを一本化
MAI-Image-2.6ファミリーは、同一のFoundryインターフェースを通じて、テキストからの画像生成、複数参照画像を使った編集、Webグラウンディング、最大1.5Kの出力を提供する。Flash版は高スループットのワークロードを想定しているが、現時点で速度と効率の優位性を示す根拠は、主にMicrosoftによる自社測定だ。
AI 研究／形式驗證
Claude、マルチエージェント協調でフェルマーの最終定理をLean形式化、1,300万行の証明を公開
Anthropicによると、数十のClaudeエージェントが11日間で、フェルマーの最終定理について初となるエンドツーエンドかつコンピューター検証可能な証明を完成させた。真のブレークスルーはモデルの能力だけでなく、Prove2Meが定理の依存関係グラフ、独立コンパイル、検索機構によって長期的な協調作業を制御した点にある。
推論系統／本機 AI
NVIDIA PAIR、単一のローカルエンドポイントでデバイス横断推論を振り分け――ただしGPUメモリは統合せず
オープンソースのPersonal AI Routerは、Windows、Linux、macOSの各ノード間で、OllamaまたはLM Studioへの独立したリクエストをスケジューリングできる。マルチエージェントの同時実行数を増やすのには適しているが、分散モデル実行エンジンではなく、単一モデルは依然として1台のマシンに完全に収まる必要がある。
程式代理評測
SWE-Gate、コーディングエージェントにレビュー制約テストを導入――機能テストを通過したパッチの3分の1が要件違反
SWE-Gateは、実際のpull requestのレビューコメントを実行可能な第2のテストスイートに変換し、機能修正とエンジニアリング上の制約を個別に評価する。4モデルが生成した機能テスト合格パッチ644件のうち、221件は明示されたレビュー要件に違反していた。
開源模型與推論
K2 Horizon、6つのサイズを一挙公開：MoVAモデルは各tokenでvalue projectionの一部のみを有効化
IFMは0.9Bから375BまでのK2 Horizonモデルファミリーを公開した。36B版ではMoE routingをattentionのvalue projectionにまで拡張している。weightsとデプロイ手順は入手可能だが、公式が掲げる「完全なオープンソース」という主張は、実際の公開状況を先行している。
AI security
Microsoft、エッジAI向け「証拠ゲート」を提案：実行環境とモデルのサプライチェーンを同時に検証
Microsoftは、エッジデバイスにモデルの重み、データ、認証情報を提供する前に、ハードウェアルートオブトラストに基づくリモートアテステーションとAI成果物の来歴を同時に確認することを提案している。モデルはアクションを提案するだけにとどめ、実際の認可は予測可能な外部ポリシーレイヤーに委ねることで、プロンプトインジェクションがシステム権限を直接取得するのを防ぐ。
AI coding infrastructure
Coder Agent Relay、Cursorのツール実行を企業内ネットワークへ移行——推論は引き続きクラウド上
CoderのAgent Relayにより、Cursor Cloud Agentsは顧客管理下のworkspaceでコマンドの実行、ファイルの読み書き、内部サービスへのアクセスが可能になる。この分離によってソースコードの露出範囲は縮小できるが、完全なセルフホスティングとは異なり、推論、計画、セッションのオーケストレーションは引き続きCursorのクラウドが担う。