数学家担忧「问题被解决」定义进步,AI 时代这一隐忧成真

_onionesque · x · 2026-10-10

作者 onionesque 参与了一场关于数学与 AI 进步标准的讨论:他认为数学家们近来反应激烈,部分是在对抗「问题被解决 = 数学进步」的观念——因为纯数学经过数百年演化,抽象结构已在长期适应中打磨成型,问题本身只是路标,而非目的。但多数人不了解这些问题从何而来、为何存在。他进一步指出,此前人们的短视源于目标对齐得「好到难以区分」,而在工业界问题求解中,这种混淆并不成立——暗示以解题能力衡量 AI 进步存在根本偏差。