AI解答数学难题之后, 数学究竟追求什么

摘要

一篇客座文章称，OpenAI于2026年9月8日宣布，已生成纳维—斯托克斯存在性与光滑性问题的AI解答；这一宣布引发了关于成果归属及人机各自贡献的争论。参与该事件的一位数学家Tristan Buckmaster将其比作“Deep Blue–Kasparov moment”。作者讨论由此而来的疑问：若AI能回答数学前沿最困难的问题，数学是否会像棋类一样被“解决”。文章认为，“继续玩”强调过程价值虽有道理，但不必把数学视为游戏；“AI已经解决数学”的说法依赖两项前提：AI确实解决了一个数学问题，以及数学只关乎解题，而作者认为这两项前提都不正确。