Anthropic宣布其AI系统Claude在Lean证明助手中仅用11天，就完成了费马大定理的首个完整计算机可验证证明。该定理由Andrew Wiles于1995年首次给出手工证明，其形式化验证长期被视为极其复杂的工作。Claude生成的证明...

费马大定理，即费马最后的定理，是一项关于整数的不定方程的数学猜想，由17世纪法国数学家皮埃尔·德·费马提出，他在一部古希腊数学家丢番图著作的边注中写道：'我找到了一个真正奇妙的证明，但这里空白太小，写不下...