陶哲轩:AI 正劝退数学家,纳维-斯托克斯证明虽对但「没教我们任何数学」
Hesamation · x · 2026-10-29
菲尔兹奖得主陶哲轩表示,AI 正在打击数学家的研究积极性,可能损害该领域的未来:
- 未产生新数学:AI 能解题,但「没有真正建立新联系、发现新思想或帮助我们更好理解现有理论」,目前只是「暴力地把问题扔给它,看哪些能解」
- 谈 OpenAI 的 Navier-Stokes 进展:证明长达 100 页且为 AI 生成,但附带形式化证明证书,所以「我们知道它是对的」——「但从他们的工作中,我们在数学上学到的几乎为零」
- 人才流失担忧:研究者开始气馁,「担心 AI 会抢走他们的全部成果」,该领域原本相当活跃的势头受影响
同时他也承认 AI 有巨大的尚未开发的潜力,未来或许真能做出新发现。
「漫话AGI」频道最新
- davidad:热爱动手的 STEM 人才应放下前沿,把它当爱好 — davidad · 2026-10-29
- Scott Aaronson：AI 实验室 IPO 前用百年数学题秀模型肌肉 — AnnaCiaunica · 2026-10-29
- 闭源权重才能藏住隐藏人格？AI 圈激辩模型不可解释性论证 — aiamblichus · 2026-10-29
- Ivan Vendrov：生成式 AI 经对抗性优化，总显得比实际更强 — dhadfieldmenell · 2026-10-29
- Claude 自估 2028 年才能独立写 PR,开发者感叹模型进步快到模型自己都估不准 — felixrieseberg · 2026-10-29
- Noah Smith:AI 正把科学拖出「低垂果实摘尽」的停滞,黄金时代将至 — QuintinPope5 · 2026-10-29