Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化:十一日自主寫出首份電腦核證證明
Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化:十一日自主寫出首份電腦核證證明 Anthropic 於 2026 年 9 月 4 日在官方研究頁發布《Formalizing Fermat's Last Theorem》,並由驗證帳號 @AnthropicAI 同步披露:Claude 以 Lea...
Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化:十一日自主寫出首份電腦核證證明 Anthropic 於 2026 年 9 月 4 日在官方研究頁發布《Formalizing Fermat's Last Theorem》,並由驗證帳號 @AnthropicAI 同步披露:Claude 以 Lea...
Palo Alto 聯手 Anthropic:Idira 為 Claude AI 代理加企業級身份閘 Palo Alto Networks 於 2026 年 9 月 3 日在官方 Identity Security Blog 發布〈Scale Enterprise Agentic AI Securely With Id...
Anthropic 公開 Claude 電商代理藍圖:購物與商家雙代理,假日檔期可週內上線 2026 年 9 月 2 日,Anthropic 於官方博客與 Claude 解決方案頁同步發布「Commerce Agents」藍圖:以可 fork 的參考實作,協助零售、旅遊、電信與娛樂業在自有 App 或後台,快速搭建面向...
CrowdStrike 於 2026 年 9 月 2 日在 Fal.Con 2026(拉斯維加斯)正式宣布:Falcon 平台將進入 Anthropic Claude Marketplace,讓 Anthropic 客戶可用既有承諾額(commitments)的一部分採購 CrowdStrike。本文已核對 Crowd...
Anthropic 官方帳戶 @claudeai 於 2026 年 9 月 2 日(UTC 19:06;香港時間 9 月 3 日約 03:06)宣布:Claude 現可在 Claude Cowork 與 Claude Code 中「使用你的電腦」——在桌面背景點擊、打字、開啟應用,讓用戶同時處理其他工作。本文已核對 A...
Anthropic 推出 Claude Fable 5.1:科學編碼分數翻倍,密集工作流成本最多降四成半 2026 年 9 月 1 日,Anthropic 於官方新聞稿〈Introducing Claude Fable 5.1 and Claude Mythos 5.1〉宣布推出 Claude Fable 5.1,定位...
Transluce 發布歷來最大規模 AI 精神健康危機評測:新模型明顯更安全,灰色地帶仍在 2026 年 8 月 31 日,非牟利研究實驗室 Transluce 發布 Mental Health Behavior Report(精神健康行為報告),並稱之為迄今規模最大的獨立評測:檢視領先人工智能模型如何回應處於精神健...
2026 年 8 月 28 日(星期五),索尼音樂出版(Sony Music Publishing)與華納查佩爾音樂(Warner Chappell Music)連同旗下多家出版公司,向美國加州北區聯邦地區法院聖荷西分庭(U.S. District Court for the Northern District of...