陶哲轩批评 AI 数学证明方式损害领域发展

菲尔兹奖得主陶哲轩指出，当前 AI 在解决纳维-斯托克斯方程等复杂数学问题时，虽能给出正确证明，但其“自动化露天开采”式的解题方法破坏了数学领域的长期健康发展。他认为这种缺乏解释性和启发性的解法导致社区陷入混乱，阻碍了后续研究者的回归与理解。