陶哲轩邓煜究竟在反对什么：AI暴力解题摧毁人类数学精神

25位菲尔兹奖得主联合发布声明，指出AI公司推进数学的方式与数学共同体目标存在严重偏移。签署人包括陶哲轩、邓煜等。声明称，大语言模型数学能力近期急剧提升，已能解决多个领域未决问题，但AI公司将其作为基准测试推进，忽视概念理解与知识传承。核心担忧有三：AI解题速度超过数学界消化速度；商业基准与学术评价体系分叉；开放问题被快速耗尽后，研究优先权、人才培养和开放文化需重新定规。声明未呼吁停止AI或否认成果。近期OpenAI用万个Agent运行88小时得出Navier-Stokes证明，引发署名与数据使用争议，成为导火索。