近日，Axiom Math发布了有限单群分类定理（CFSG）的首个完整计算机检查证明，这是数学史上的一项重大里程碑。CFSG被公认为人类写过的最长数学证明，原始证明横跨约15000页、500多篇论文，由约100位数学家共同完成。A...

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