Anthropic Claude 11 日完成費馬最後定理 Lean 形式證明：AI 寫碼之後，形式驗證成下一戰場
Anthropic Claude 11 日完成費馬最後定理 Lean 形式證明：AI 寫碼之後，形式驗證成下一戰場 Anthropic 於 2026 年 9 月 4 日公布，其 Claude 多代理系統在約 11 日內，以 Lean 證明助手完成費馬最後定理（Fermat's Last Theorem）的端到端、可機器...
Anthropic Claude 11 日完成費馬最後定理 Lean 形式證明：AI 寫碼之後，形式驗證成下一戰場 Anthropic 於 2026 年 9 月 4 日公布，其 Claude 多代理系統在約 11 日內，以 Lean 證明助手完成費馬最後定理（Fermat's Last Theorem）的端到端、可機器...