AI 或将独力解出 Navier-Stokes 难题,却几乎不给数学留下价值

NathanpmYoung · x · 2026-09-06

引用数学家 Jordan Ellenberg(其账号转述)的观点:设想一个场景——由海量算力支撑的自主 AI 框架,在内部完成全部迭代推演,最终得出纳维-斯托克斯正则性问题的 ansatz 与解,而运营该 AI 的公司几乎把全过程保密。从技术上讲,数学界最著名的开放问题之一将宣告解决,但对数学本身几乎不产生任何增量价值。

发帖人 Nathan Young 借此提出数学界的核心张力:数学家究竟是在追求数学内在之美,还是在争「谁第一个证明」?AI 冲击下,这道「打地鼠」式的选择题正变得越来越尖锐——解被找到,但美的过程与人类洞见都留不下。