姚班校友主导，Claude攻克费马大定理首个完整形式化证明梦瑶2026-09-0509:17:56来源：量子位最后靠Harness救回来梦瑶发自凹非寺量子位|公众号QbitAI人类和费马大定理纠缠了三个半世纪，Claude这次只用了11天！？刚刚，Anthropic宣布，Claude完成了首个端到端、可由计算机完整检查的费马大定理证明。
350多年数学史，被Claude塞进1300万行Lean先快速说一下费马大定理到底是什么。直到1993年，英国数学家AndrewWiles第一次公开宣布证明费马大定理。最后，没成想，Claude直接一路干到了终点。。。Anthropic对此也表示，完整证明只依赖Lean三个标准公理，而且他们还专门通过比较程序确认，Claude最终证明的定理陈述，与Mathlib里的费马大定理完全一致。剩下的大量定义、中间证明、任务拆分和拼装，主要由Claude自己完成。
这条信息对你有帮助吗？