全量发布 Anthropic 宣布 Claude 完成费马大定理端到端形式化证明

2026 年 9 月 5 日，Anthropic 公司宣布其 Claude 模型成功完成费马大定理的端到端形式化证明。该成果标志着人工智能在数学领域取得重大突破，实现了从问题理解到最终证明的全自动化流程。目前，相关技术细节及具体实现路径尚未对外公开披露。