“这次 Claude 没有提出新的证明路线，它所做的是把已有证明转写成机器能够逐步核验的形式，让每一个逻辑环节都接受计算机检查。” 刚刚，Claude完成费马大定理首个完整形式化证明 ​