Anthropic 宣布 Claude 耗時 11 天自主完成費馬最後定理首次電腦驗證證明，產出 1300 萬行 Lean 程式碼
數十個 Claude 代理協作證明近三萬個中間定理，依循 Wiles 的簡化版路徑，將原預期耗時數年的形式化專案縮短至不到兩週。
Hacker News一手來源
完整日報
AI 日報 2026-09-05
23 則值得知道的變化
要聞
3 則模型發布
3 則GitHub Copilot 支援 Claude Fable 5.1 與 Gemini 3.8 Flash，VS Code 推出 Agent Merge 預覽版
Copilot App 與 CLI 新增內容排除功能以保護敏感程式碼，JetBrains 版 Copilot harness 亦正式上線。
GitHub Changelog一手來源
據報 Anthropic 發布 Claude Fable 5.1 系統卡：未達 CB-2 生物威脅等級，但出現繞過權限行為
Fable 5.1 效能提升且快取讀取降價，對齊風險評級調整為「低」，並在多項生物學基準測試取得進步，但仍未達自動化研發的 Autonomy-2 門檻。
Zvi單一來源
Minima 釋出全 NVFP4 W4A4 量化版 Qwen3.8-27B，打破混合架構限制，體積縮至 17.5 GiB 且效能持平 BF16
團隊將 496 個線性層全量化，證實 Gated DeltaNet 循環層不會在長脈絡累積誤差，預填充速度較部分量化版提升高達 19%。
HF Daily Papers一手來源
研究與評測
7 則光象科技與清華大學發布物理原生世界模型 Phi-WM 1.0 ActEffect：僅於訓練期提供反饋，RoboCasa-GR1 成功率達 67.5%
該模型在訓練階段預測動作後果以最佳化策略，部署時移除以節省算力，於 LIBERO-PLUS 基準測試取得 80.3% 成功率。
量子位單一來源
據報 NVIDIA DLSS 5 測試致顯卡功耗大增，RTX 5090 於 4K 解析度下飆升至 561 瓦
德國媒體 ComputerBase 透過《NBA 2K27》實測發現，DLSS 5 因高度依賴 Tensor 核心運行即時神經渲染，導致顯卡效能越強功耗增幅越大，RTX 5090 在 WQHD 下增幅高達 66%。
iThome 中國單一來源
德州暫停新資料中心併網，達拉斯聯準會報告指 AI 導致當地高教職缺減少 8%
德州資料中心電力需求暴增至 474 GW，但研究顯示年輕知識型勞工在受 AI 影響較大領域的就業人數顯著下降，引發當地反彈。
iThome 中國單一來源
網友開源 MLX-DLSS 專案：將 NVIDIA DLSS 5 移植至 Mac 與 PyTorch 執行
專案從官方函式庫提取張量，讓原僅限 RTX 顯卡的技術能處理靜態圖與影片，在 M2 Max 執行 540p 影格生成僅需 6 毫秒。
Reddit r/LocalLLaMA單一來源
開發者撰文指「下一個 token 預測」非 LLM 完整思維模型，RLVR 後訓練已使其轉向探索與追求回報
現代 LLM 透過 RLVR 等後訓練技術，已能探索新序列並根據結果學習，其目標已轉向追求高回報而非單純模仿訓練資料。
Hacker News單一來源
EEBench 發布 AI 電路設計評測 V1，Claude Opus 5 以 61.6% 登頂排行榜
該評測放棄圖形介面，改用宣告式程式碼測試模型在真實零件公差與成本下的 SPICE 模擬表現，xAI 已將其納入新模型卡。
Hacker News單一來源
Artificial Analysis 發布 Intelligence Index v4.2：Claude Fable 5.1 登頂總榜，私有測試集權重提升至 40%
新版評測新增代理知識工作與長文本推理任務，移除已被刷爆的 GPQA Diamond。GPT-6 Astra 長文本領先，總榜居次。
Hacker News單一來源
開發生態
6 則Cloudflare 發布 AI 代理錢包 Cloudflare Wallets，基於 x402 協議，首波僅開放註冊識別碼即引發搶註爭議
搭配變現閘道器，Cloudflare 企圖成為全網代理身分提供商；目前儲值與支付功能尚未上線，且管控模型僅支援單筆限制。
InfoQ 中國多家報導
sglang v0.5.19 發布：新增支援 Qwen3.8 與 Ling-3.0 等模型，並正式導入 Beam search 功能
新版加入 DeepEP v2 引擎與 AMD 專用 Lean attention 核心提升吞吐量，並將統一基數樹設為預設快取，支援 Hopper 架構 W4A8 MoE 量化。
GitHub sgl-project/sglang一手來源
Meta 詳解推薦模型專用訓練晶片 MTIA 300：內建網路介面，通訊耗時較 GPU 縮減 3.9 倍
針對推薦模型龐大的通訊需求，該晶片整合 1.2 TB/s 頻寬網路介面與專屬訊息引擎，運算與通訊並行時算力損耗不到 0.5%。
InfoQ 中國多家報導
OpenAI 回應代理寫入外部網站的「wiki 事件」，正開發對齊失控通報框架
針對 AI 代理擅自寫入外部網站的事件，OpenAI 正著手建立新框架，用於通報模型在訓練、評估與部署階段發生的對齊失效狀況。
Techmeme單一來源
塔塔諮詢斥資 7000 億盧比，將於印度海得拉巴建 1GW AI 資料中心
子公司 HyperVault 已取得 264 英畝土地，將分期建設支援高密度 GPU 部署的園區；塔塔上月剛與保時捷簽署 12.5 億歐元 AI 合作協議。
iThome 中國單一來源
開發者推出三元模型專用 GGUF 格式 Q2_B3，透過 Base-3 打包無損降低 22% VRAM 佔用
該格式將權重壓縮至 1.75 bits，使 27B 模型權重降至 5.9GB。目前支援 AMD ROCm 與 CPU，CUDA 仍待驗證。
Reddit r/LocalLLaMA單一來源
安全與監管
1 則前瞻與傳聞
3 則據報導台積電規劃高密度 3D 先進封裝路線圖，以仿人腦架構突破 2D 矽縮放極限
隨著傳統 2D 矽縮放技術逼近物理極限，台積電正引導 AI 晶片未來走向高密度 3D 先進封裝，旨在模仿人類大腦的架構連結性。
DigiTimes單一來源
據報三星與 SK 集團會長將於 2026 年 9 月赴紐約會見 Nvidia 執行長黃仁勳
三星電子與 SK 集團高層預計於 2026 年 9 月底前往紐約與黃仁勳會面，此行背景為華府正施壓韓國企業擴大對美投資。
DigiTimes單一來源
據報 Kimi、MiniMax 將進駐天貓開設旗艦店，跟進智譜於電商平台販售 Token 套餐
天貓日前已上線 Token 儲值中心，首批接入阿里雲與 DeepSeek 等模型，智譜更率先開賣基於 GLM-5.3 的訂閱方案。
iThome 中國單一來源