Claude完成费马大定理首个完整形式化证明

AI 攻克顶级数学难题并形成完整形式化证明，是能力跃迁级的里程碑事件，值得所有关注 AI 推理边界的从业者关注。