怀尔斯当年写了129页才证完费马大定理，现在清华姚班大神带团队用claude跑11天，直接生成1300万行代码完成了机器验证。不过ai没提新猜想，只是给旧真理开了张收据。