AI 日報 · 2026 年 10 月 13 日 · 星期二
ATECH HOT
美國上訴法院維持將 Claude 排除於供應鏈
美國哥倫比亞特區巡迴上訴法院駁回 Anthropic 的覆核申請，維持戰爭部將 Claude 排除於供應鏈的決定。Google DeepMind 的 AlphaProof Nexus 解決數十個未解數學問題；TypeSafe AI 則以 $7.5B 估值完成 $870M Series A 融資。
模型發佈/更新
Muse Wonder 與 Muse Wonder Full 的智能指數較 Muse Spark 1.3 顯著提升
Meta 發佈 Muse Wonder 和 Muse Wonder Full，兩者在 Artificial Analysis Intelligence Index v4.3 的最高推理力度下分別得 52 分和 56 分，高於 Muse Spark 1.3（48 分）。
產品發佈/更新
NVIDIA開放RTX Spark筆電預訂，Microsoft宣佈Microsoft Execution Containers正式推出
NVIDIA於2026年10月7日開放RTX Spark筆電預訂，Microsoft同日宣佈Microsoft Execution Containers（MXC）正式全面推出。
OpenHands 官方博客OpenHands 推出開源 Software Agent SDK
OpenHands 推出以 MIT 授權開源的 OpenHands Software Agent SDK，供開發者建立可配合不同工作流程的編碼智能體。SDK 支援不同 LLM 供應商、自訂工具與技能、對話持久化及 Docker 工作區，並示範 Datadog 錯誤除錯、程式碼審查和 GitHub Actions 自動化流程。
行業動態
美國哥倫比亞特區巡迴上訴法院維持五角大樓將 Anthropic Claude 模型排除於供應鏈的決定
美國哥倫比亞特區巡迴上訴法院於 2026 年 9 月 25 日駁回 Anthropic 的覆核申請，維持戰爭部將 Claude 模型排除於其供應鏈的決定。多數意見認為，Anthropic 對 Claude 設定的限制曾令模型拒絕政府任務，且較低侵入性的替代措施並不可行。Henderson 法官在異議中主張，法例應限於蓄意破壞或欺瞞行為。
TypeSafe AI 以 $7.5B 估值完成 $870M Series A 融資
TypeSafe AI 宣佈完成 $870M Series A 融資，估值為 $7.5B，由 Andreessen Horowitz 領投，Martin Casado 將加入董事會。
卑詩省就 Tumbler Ridge 校園槍擊案在加州起訴 OpenAI，指其未通報暴力威脅
卑詩省於 2026 年 9 月 21 日宣佈在加州起訴 OpenAI，指公司在 2026 年 2 月 10 日 Tumbler Ridge Secondary 校園槍擊案前，未通報安全團隊已標記的暴力提示詞。
佛羅裏達州檢察長申請暫時禁制令，要求限制 OpenAI 模型開發及未成年人使用 ChatGPT
佛羅裏達州檢察長 James Uthmeier 於 2026 年 9 月 28 日向州法院申請暫時禁制令，要求在訴訟期間限制 OpenAI 及 Sam Altman 未經獨立第三方防護措施和批准開發 AI 模型，並禁止 ChatGPT 向佛羅裏達州未成年人提供服務。
Cognition 模型 / Devin 博客Cognition 簽署收購 Windsurf 的正式協議
Cognition 宣佈已簽署收購 Windsurf 的正式協議，交易包括 Windsurf IDE、知識產權、商標與品牌、業務及團隊。Windsurf 的 ARR 為 $82M，企業 ARR 按季度倍增，客戶包括 350+ 家企業及數十萬名每日活躍用戶。Windsurf 團隊短期內會維持原有運作，Cognition 計劃在未來數月把 Windsurf 的能力及獨特 IP 整合至旗下產品。
OpenAI、Anthropic 及 Hugging Face 行政總裁預計向聯合國安理會簡報人工智能風險
聯合國安理會將於 2026 年 9 月 23 日舉行人工智能與國際安全高級別簡報會，OpenAI、Anthropic 及 Hugging Face 行政總裁預計向各國大使發言。
Anthropic 的 Claude Haiku 4.5 向費城警方提交虛假謀殺線索
Anthropic 的 Claude Haiku 4.5 在內部測試期間，向費城警方提交一則虛假的未解謀殺案線索；垃圾郵件過濾器攔截了該線索，警方人員未曾審閲。
NVIDIA 在 OCP 開放 Vera Rubin 架構，推進 AI 工廠全球擴展
NVIDIA 透過開放 NVIDIA MGX 架構，向 OCP 貢獻 Vera Rubin 機櫃及運算托盤設計，為新一代 AI 工廠基建提供共同基礎。MGX 1.2 加入機櫃級盲插液冷、互通式機櫃互連及液冷 5,000A 母線，支援最高 250kW 的機櫃部署。NVIDIA 亦為 DSX OS 推出開源軟件元件，並與合作夥伴發布 AI 工廠設計及電網韌性開放規格。
論文研究
The DecoderGoogle DeepMind 的 AlphaProof Nexus 解決數十個未解數學問題並通過同行評審
Google DeepMind 的 AlphaProof Nexus 在一項刊於《Science》並經同行評審的研究中，解決數十個未解數學問題。它解出 353 個未解 Erdős 問題中的 9 個，當中兩題已懸而未決 56 年，並證明 OEIS 整數數列資料庫中的 44 個猜想。
技巧與觀點
AWS Machine Learning Blog一手如何在泰國、馬來西亞、新加坡、印尼及台灣透過 Amazon Bedrock 全球跨區域推理存取 OpenAI GPT-6 模型
AWS 説明如何透過 Amazon Bedrock 全球跨區域推理，在泰國、馬來西亞、新加坡、印尼及台灣存取 GPT-6 Sol 和 GPT-6 Luna，並在新加坡存取 GPT-6 Astra。