標籤 #費馬大定理

2026 年 9 月 5 日

Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化：十一日自主寫出首份電腦核證證明

Anthropic 宣布 Claude 完成費馬大定理 Lean 形式化：十一日自主寫出首份電腦核證證明 Anthropic 於 2026 年 9 月 4 日在官方研究頁發布《Formalizing Fermat's Last Theorem》，並由驗證帳號 @AnthropicAI 同步披露：Claude 以 Lea...

• #Anthropic
• #Claude
• #Lean形式化
• #私有LLM
• #費馬大定理