Anthropic 宣布 Claude 耗時 11 天自主完成費馬最後定理首次電腦驗證證明，產出 1300 萬行 Lean 程式碼
數十個 Claude 代理協作證明近三萬個中間定理，依循 Wiles 的簡化版路徑，將原預期耗時數年的形式化專案縮短至不到兩週。
Hacker News一手來源
完整日報
AI 日報 2026-09-05
23 則值得知道的變化
要聞
3 則Minima 釋出全 NVFP4 W4A4 量化版 Qwen3.8-27B，打破混合架構限制，體積縮至 17.5 GiB 且效能持平 BF16
團隊將 496 個線性層全量化，證實 Gated DeltaNet 循環層不會在長脈絡累積誤差，預填充速度較部分量化版提升高達 19%。
HF Daily Papers一手來源
光象科技與清華大學發布物理原生世界模型 Phi-WM 1.0 ActEffect：僅於訓練期提供反饋，RoboCasa-GR1 成功率達 67.5%
該模型在訓練階段預測動作後果以最佳化策略，部署時移除以節省算力，於 LIBERO-PLUS 基準測試取得 80.3% 成功率。
量子位單一來源
研究與評測
3 則德州暫停新資料中心併網，達拉斯聯準會報告指 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單一來源