陶哲轩：AI 终结了数学的“浪漫时代”

UCLA 数学家陶哲轩在 Numberphile 节目上表示，数学正在进入“工业时代”，顶尖学者将审查 AI 生成的证明，而不再亲自解题。他的发言出现在 OpenAI 利用 AI 求解 Navier-Stokes 方程并公布 700 道已解问题之后；一名 NYU 教授称这批题目使早期数学研究者的整个研究方向被冲掉。