陶哲轩对 AI 做数学的方式有意见，而问题不在于证明是否正确
在一段新科学家杂志的采访片段中，陶哲轩说，数学家希望 AI 扮演计算器的角色，而不是竞争者。他提到纳维-斯托克斯方程的相关研究曾一度活跃、如今却陷入混乱，并把两种解题方式作了对比：一种负责任的方式能推动学科发展，另一种不负责任的自动化采掘式解题虽然达到了眼前的目标，却以损害学科未来发展为代价。这很重要，因为它提出了一个问题：只给出答案却没有增进理解的 AI 成果，长期来看是否真的推动了学科进步。
报道来源
- Rohan Paul2026-11-01 13:16