主要来源SuperTechFans
查看原文事件专题 ·多源确认
Anthropic完成费马大定理AI验证
Anthropic团队使用Claude AI在11天内完成了费马大定理的完整计算机验证，生成了1300万行Lean代码。该团队由Tianyi Peng领导，证明了29,500个中间定理。这一成果展示了AI自动形式化复杂数学证明的可行性，采用了怀尔斯证明的简化版本。
当前结论
Anthropic用Claude 11天完成数学难题验证，比人类快得多，展示了AI在形式化证明领域的突破。
6 个信源78° AI 热度最后更新 2026/9/5 23:35:52
证据链
6 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。