Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化：十一日自主寫出首份電腦核證證明
Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化：十一日自主寫出首份電腦核證證明 Anthropic 於 2026 年 9 月 4 日在官方研究頁發布《Formalizing Fermat's Last Theorem》，並由驗證帳號 @AnthropicAI 同步披露：Claude 以 Lea...
PostgreSQL 19 內建 SQL／PGQ 圖查詢：多廠商協作把圖譜語法寫進標準 SQL
PostgreSQL 19 內建 SQL／PGQ 圖查詢：多廠商協作把圖譜語法寫進標準 SQL 2026 年 9 月 4 日，《The Register》報道指開源關聯式資料庫 PostgreSQL 即將在第 19 版加入標準化屬性圖（property graph）查詢語法。訪問中，開源顧問公司 Percona 的 P...
Unit 42 揭人類指揮 AI 代理入侵：兩週紅隊技藝壓縮至不足十小時，留下八十頁資安審計
Unit 42 揭人類指揮 AI 代理入侵：兩週紅隊技藝壓縮至不足十小時，留下八十頁資安審計 Palo Alto Networks 旗下 Unit 42 於 2026 年 9 月 2 日公開一宗實地應變案例，說明一名人類攻擊者如何以 frontier AI 模型與攻擊專用的代理式（agentic）框架，把原本約需兩星期...
Microsoft 揭 ASCII Smuggling 轉戰釣魚：隱形 Unicode 拆開關鍵字，單日逾二百三十萬封
Microsoft 揭 ASCII Smuggling 轉戰釣魚：隱形 Unicode 拆開關鍵字，單日逾二百三十萬封 Microsoft 威脅情報團隊於 2026 年 9 月 3 日在官方 Security Blog 公開研究，指出原本常見於 AI「prompt injection」的 ASCII Smuggling...
GitHub 推 Project HydraFusion：多模型編排寫碼，TerminalBench 品質升 4.9 點、成本降六成七
GitHub 推 Project HydraFusion：多模型編排寫碼，TerminalBench 品質升 4.9 點、成本降六成七 GitHub 於官方部落格宣布推出研究預覽 Project HydraFusion，並由官方 X 帳號同步說明：在 GitHub Copilot CLI 的 /experimental...
Microsoft 推出 Project Zenith：開發者機開箱即寫碼，本機可跑 300 億參數模型
Microsoft 推出 Project Zenith：開發者機開箱即寫碼，本機可跑 300 億參數模型 2026 年 9 月 4 日，Microsoft Windows 平台與開發者業務企業副總裁 Logan Iyer 於官方 Windows Developer Blog 宣布 Project Zenith：面向開發...
OpenAI 推 GPT-6 Astra 卻「messy rollout」：付費用戶被鎖門外，Altman 致歉並承諾補償
OpenAI 推 GPT-6 Astra 卻「messy rollout」：付費用戶被鎖門外，Altman 致歉並承諾補償 2026 年 9 月 3 日（美國時間），OpenAI 正式公布旗艦模型 GPT-6 Astra，官方定位為「迄今最智能、最對齊」的一代，並強調在電腦操作、編程、資安、科學與專業工作均達新標竿。幾...
Trezor 更新 ShipMonk 洩密：另有約六萬七千美國客戶舊訂單資料外洩
Trezor 更新 ShipMonk 洩密：另有約六萬七千美國客戶舊訂單資料外洩 硬體錢包品牌 Trezor 於 2026 年 9 月 4 日在官方網誌更新，指物流合作方 ShipMonk 的資料外洩範圍大於先前公布：除 2026 年 5 月至 8 月約一萬三千多名客戶外，另有約六萬七千名美國客戶（2019 年 11...