陶哲轩：AI 正劝退数学家，Navier-Stokes 证明虽对却“没教我们任何数学”

陶哲轩表示，AI 正在打击数学家的研究积极性，并称 OpenAI 的 Navier-Stokes 证明长达 100 页、形式上正确，却几乎没有带来新的数学联系或思想。该证明由 AI 生成，研究者担心成果被 AI 取代；他也承认 AI 未来可能产生新发现。