undercat (@chronicle12345) 在 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明中发帖费马大定理： [image] 原文：Formalizing Fermat’s Last Theorem \ Anthropic

undercat (@chronicle12345) 在 Claude 在 11 天内完成费马大定理首个机器验证的 Lean 形式化证明中发帖

费马大定理： 
 [image] 
原文：Formalizing Fermat’s Last Theorem \ Anthropic