Microsoft ResearchがMagnetarを公開:証明ベースの汎用計算zkVM
Microsoft Researchはゼロ知識仮想マシンMagnetarを公開した。Rust、Go、Cで書かれたRISC-Vプログラムの実行を証明でき、ノートPC上で毎秒720万〜870万のプロセッサ命令を証明、15のベンチマークプログラムで既存の最速zkVMより平均10〜39倍高速で、証明の検証は約12ミリ秒。
モデルを動かすための実践:推論の最適化、メモリとコスト、サービング構成、インフラの選び方。
Microsoft Researchはゼロ知識仮想マシンMagnetarを公開した。Rust、Go、Cで書かれたRISC-Vプログラムの実行を証明でき、ノートPC上で毎秒720万〜870万のプロセッサ命令を証明、15のベンチマークプログラムで既存の最速zkVMより平均10〜39倍高速で、証明の検証は約12ミリ秒。
Meta のコーディング最適化オープンウェイトモデル Muse Spark Open が Amazon SageMaker JumpStart で利用可能になった。100 万トークンのコンテキストウィンドウに対応し、MoE アーキテクチャを採用。総パラメータ数 816B、トークンあたり 42B を活性化し、テキスト、画像、ドキュメント、音声、音声付き動画を入力として受け取り、テキストを出力する。
NVIDIAは、クリエイター、ゲーマー、AIエージェント向けのWindows PC「RTX Spark」を発表し、世界各地でローンチイベントを開催した。公式はTom's Hardware、TrustedReviews、Tom's Guideなどのメディアレビューを引用し、ローカルAI、ゲーム、クリエイティブワークフローで良好な性能を発揮するとしている。Artificial Analysisも独立テストの初期結果を公開した。
AWS の副社長 Shawn Bice 氏が Trust in Depth フレームワークを提唱し、エージェントの行動が検証可能な場合は自律的に行動させ、人間の判断は本当に意思決定が必要な場面に残すべきだと主張した。
Googleは地理空間推論エージェントの技術報告書を公開し、4つのベンチマークで4種類のエージェント構成を比較した。あわせて新ベンチマークGeoKToolsとGeoExpertQueriesの開発セットをオープンソース化した。
Google は Gemini 4 Argon の世界展開を開始した。開発者は AI Studio と Gemini プラットフォームの API から利用でき、AI Ultra 加入者は Google Antigravity で、Ultra と Pro 加入者は Gemini アプリと Google 検索の AI モードからアクセスできる。
AWS がチュートリアルを公開し、Amazon Bedrock 上でクロスリージョン推論を設定して Grok 4.7 を呼び出し、ツール呼び出しエージェントを構築する方法を紹介した。
NVIDIAはRTX SparkノートPCを10月16日に発売すると発表した。最大128GBの統合メモリと1ペタフロップスのAI演算性能を備え、ローカルエージェント向けのソフトウェア更新も同時に投入する。
NVIDIAはOCP Global Summitで、オープンなMGXアーキテクチャを通じてVera Rubinのラックとコンピュートトレイの設計をOCPに提供し、システムベンダーが次世代AIファクトリー基盤を構築するための共通の土台を用意した。
NVIDIAとMicrosoftはサンフランシスコのWindows AI・Surfaceイベントで、Windows PC上のAIエージェント向けにソフトとハードを共同設計すると発表した。MicrosoftはOSレベルの基盤「Microsoft Execution Containers(MXC)」が正式に利用可能になり、エージェントがシステムの制御下で安全かつ持続的にバックグラウンド動作できるようになると発表した。
Microsoft Researchは、約3500行のコードで構成される軽量なエージェント強化学習フレームワーク「Agent Lightning v1.0」をオープンソース化した。Harnessed Agentic RLパラダイムを中心に再構築され、デプロイ時に使用するagent harnessをそのまま訓練に参加させることができ、訓練フレームワーク内でエージェントを再実装する必要がない。
Z.ai の GLM 5.3 が Amazon Bedrock で提供開始された。753B パラメータの MoE モデルで、コーディングと長時間のエージェントタスク向け。フルマネージド API を通じてクロスリージョン推論、プロンプトキャッシュ、サービスティアを提供し、現在は条件を満たす企業顧客向けに公開されている。
Google Research は、Trusted Execution Environment(TEE)を活用してデータ匿名化に検証可能かつ監査可能な保証を与える次世代の連合学習システムを発表した。Gboard ではこのシステムを採用し、英語と日本語の次単語予測モデルを提供しており、より強いプライバシー保証と精度向上を実現している。
NVIDIA は今月、Acer、ASUS、Dell、Gigabyte、HP、MSI を通じて 64GB 統合メモリ版 DGX Spark を発売する。10 月 23 日販売開始、希望小売価格は 4,999 ドルから。GB10 Grace Blackwell スーパーチップ、DGX OS、NVIDIA AI ソフトウェアスタック一式を維持し、最大 1000 億パラメータのモデルをデバイス上でローカル実行できる。
GPT-6 Astra Ultrafast は NVIDIA Blackwell GPU 上で動作し、OpenAI API と条件を満たす ChatGPT Work および Codex ユーザーに提供されている。
AI2は、大規模言語モデル開発フレームワークの大幅なアップグレード版「Olmo-core 3」を公開した。オープンなMoE訓練システムを再設計し、計算効率を維持しながらMoE訓練を1兆パラメータ規模へ拡張することを目指す。
AWSの公式ブログが、Amazon Bedrock AgentCore Runtime Instancesに3エージェントの音楽制作パイプラインを配置する例を紹介した。作曲エージェントはClaude Sonnet 4.6で音楽の制作要件を生成し、インスタンスのNVIDIA L4上でACE-Stepを実行して音声をレンダリングする。納品エージェントは共有ボリュームの.wavを読み、測定とDSP処理を行う。適合確認エージェントは独立して再測定し、楽曲ライブラリーとの和声的類似度を調べる。
CoreWeave は、Spectrum-X 102.4T Ethernet と組み合わせた NVIDIA Vera Rubin NVL72 システムが CoreWeave Cloud で利用可能になったと発表した。Cognition が本番環境でこのシステムを運用する最初の顧客となる。
GPT-6.1 SolがAmazon Bedrockで一般提供され、エージェント型コーディング、コンピューター操作、日常の専門業務に向けて推論能力を強化した。OpenAIによると、DeepSWE v1.1でGPT-6 Astraの約5分の1のタスク単価で同等の成績を達成し、GPT-6 Solの最高成績を6.4ポイント上回った。
OpenAI は San Francisco の DevDay 2026 で Codex と API の拡張を発表した。Codex には再利用可能なクラウド環境、リポジトリー安全スキャン Codex Security Cloud、デスクトップのコードレビュー画面、刷新した CLI を追加し、Agents API には Computer Use、Tool Search、Context Compaction を導入する。