陶哲轩谈 AI 数学解题：答案到手，理解缺席

陶哲轩在 Science Friday 访谈中表示，OpenAI 称其模型用 88 小时解决 Navier-Stokes 千禧年问题、并公布 350 多道此前未解数学题的结果，但数学家并未随之获得理解。他指出数学的价值更多在于求解过程中的协作与部分进展，如今数百份证明堆在面前却无人可问，初级研究者的课题被直接覆盖，学界以“抢先求解”为核心的奖励机制也面临调整。