Claude

Anthropic 2026 年 9 月威脅情報報告官方主視覺

AI 資訊安全與前沿地緣政治

Anthropic 震撼發布史上最詳盡威脅情報報告:點名 DeepSeek、阿里等七大中企「非法蒸餾偷算力」,俄軍自主無人機蜂群與中共對台電戰模擬深度解析

Anthropic 正式發布 2026 年 9 月威脅情報報告,直接點名 DeepSeek、阿里、月之暗面、智譜等七大中企發動「工業級非法模型蒸餾」,更爆出 DeepSeek 暗中轉發用戶請求給 Claude 冒充運算致中俄機密外洩!同步解密俄軍全自主殺人無人機蜂群與中共對台電戰防空壓制模擬。

Claude 完成費馬最後定理 1300 萬行 Lean 形式化證明視覺圖

AI 科技與科學

「百年數學難題被 AI 機器驗證了!」Anthropic 震撼宣布:Claude 僅花 11 天寫出 1,300 萬行 Lean 程式碼,完成人類首個《費馬最後定理》形式化證明全解析

Anthropic 旗下 Claude 僅花 11 天自主產出 1,300 萬行 Lean 4 代碼,完成人類首個《費馬最後定理》端到端電腦形式化證明。本文深度解析 Prove2Me 平台架構、Kevin Buzzard 專家評價,以及 AI 如何化解純數學百年「審稿危機」。