Claude 完成费马大定理首个形式化证明

摘要

一项重大数学证明的验证可能需要数年时间。形式化——把数学推理转换为Lean等计算机证明助手可以验证的形式——可以提供帮助。据一则简短社交媒体帖子上月消息，Claude完成了费马大定理的首个形式化证明。帖子未说明该证明的完整内容、发表渠道或评审情况，也未给出更多背景。