当25位菲尔兹奖得主联名质疑AI‘攻占数学’,人类数学家的不可替代性究竟锚定在何处?
当25位菲尔兹奖得主联名质疑AI“攻占数学”时,人类数学家的不可替代性恰恰锚定在提出好问题、赋予证明以意义和构建概念理解这三个AI无法复制的核心能力上。
一、价值追求错位:数学不止于“解题”
AI的目标:OpenAI、Anthropic等公司把攻克数学难题作为衡量模型能力的基准,追求“更快、更多”的答案产出
数学家的目标:数学共同体的根本追求是概念理解与新思想的诞生,解题只是达成这一目标的手段而非目的
核心分歧:联合声明《人工智能在数学中的严重错位》指出,当“解决问题”沦为模型竞赛的分数,人类可能失去解决这些问题原本希望获得的东西——新方法、新视角与新工具
二、人才传承风险:思考过程不可外包
培养体系受冲击:菲尔兹奖得主泽尔曼诺夫坦言,AI能快速给出答案,但“我们对问题的理解增进了吗?AI帮助我们培养人才了吗?”——数学家的成长依赖长期试错、挣扎与顿悟的过程
“认知卸载”隐忧:研究显示,频繁使用AI工具与批判性思维能力下降存在负相关;当学生跳过独立思考直接获取证明,数学直觉的孵化器——“卡壳—挣扎—顿悟”的循环就被瓦解了
代际传承断裂:雨果·迪米尼-科潘用登山比喻:“把一个人空投到珠峰顶,与一个人靠自己攀登到峰顶,留下的东西完全不同”——解决问题过程中孕育的新思想,需要时间被消化、讨论、简化并传给下一代
三、人类独特价值:提问与释义的主动权
提出好问题:陶哲轩指出,真正稀缺的资源正从“强大的解决工具”变成“值得研究的好问题”——AI擅长在给定框架内求解,但无法判断什么方向值得探索、什么理论算漂亮
赋予证明意义:AI可以生成正确但人类难以理解的证明,却无法将其融入数学知识体系;数学家负责验证、解释、简化,并建立与既有理论的联系,缺少这步,AI的思想永远无法“活起来”
伦理与规则制定:从署名争议到学术优先权,人类数学家正在推动AI时代科研伦理规则的建立——这是工具无法自我完成的元层面工作 (以上内容均由AI生成)