陶哲轩称AI攻克数学难题或反噬领域发展，引热议

陶哲轩以不可压纳维-斯托克斯方程的全局正则性问题为例，指出 AI 若攻克关键开放问题，反而可能抑制数学领域的未来发展，因为领域赖以发展的提问路径会被打断。讨论中，qberthet 提出数学知识像「知识之岛」，边界越扩越大、不会枯竭；tak3sh8 则认为用 AI 解题的人往往缺乏数月苦思带来的真正理解，因此难以提出下一个好问题，并追问若 AI 解出纳维-斯托克斯方程、留下大量 Lean 形式化证明后，下一个有趣的问题在哪里。

2026-09-08 ~ 2026-09-08 · 4 条相关