陶哲轩说这是“卓越的成就”，但他也焦虑。如果AI能在人类几乎不参与的情况下解决最难的数学问题，那数学还是数学吗？他的原话是：“你去健身房想练举重，结果机器人替你举了100次，你学会了啥？”问题确实被解决了，但谁真的理解了？这篇165页的证明，陶哲轩说他可能得花一年才能完全看明白。AI用88小时写的东西，人类要读一年。