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...