姚班校友主导，Claude攻克费马大定理首个完整形式化证明

Anthropic的Claude仅用11天完成了费马大定理的形式化证明，使用约1300万行Lean代码和超过3万个中间定理。这一成就展示了AI在复杂数学证明上的强大能力，为未来大规模数学文献形式化提供了可能。