Anthropic AI仅用11天完成费马大定理的形式化证明

据Nature于2026年9月8日报道，Anthropic的AI系统在短短11天内完成了对费马大定理的形式化证明——这是数学史上最著名的难题之一。该成果发表于Nature，展示了AI在数学推理和形式化验证方面的惊人能力，标志着AI辅助数学研究的里程碑。