陶哲轩批评 AI 数学证明方式损害领域发展
菲尔兹奖得主陶哲轩指出，当前 AI 在解决纳维-斯托克斯方程等复杂数学问题时，虽能给出正确证明，但其“自动化露天开采”式的解题方法破坏了数学领域的长期健康发展。他认为这种缺乏解释性和启发性的解法导致社区陷入混乱，阻碍了后续研究者的回归与理解。
报道正文
Rohan Paul (@rohanpaul_ai) · 2026-11-01 13
Terence Tao has a problem with how AI is doing math, and it has nothing to do with whether the proofs are correct. 😀
Mathematicians wanted AI as a calculator, not a competitor.
"So, there was quite a lot of activity around Navier-Stokes, and now it’s all kind of in disarray. Eventually, we will recover. I think eventually we will understand that proof, and eventually people will come back into the field, but the way it was done was very suboptimal.
I think there’s a responsible way to solve problems that develops a field, and then there’s this irresponsible way, which is this emerging, sort of automated strip mining of these problems, where you get your immediate goal but at the cost of damaging the future development of the field."
- Terence Tao
Full video on "New Scientist" YouTube channel, (link in comment)
