Reddit网友热议Claude智能体团队11天完成费马大定理的机器验证证明，但网友指出该定理1995年已被怀尔斯证明，Claude只是将原证明转化为Lean语言可验证版本，且论证方式完全不同。虽获专家认可，但部分网友质疑标题误导。