我们的邮箱地址:

erstwhile@att.net

致电我们:

13594780195

新闻动态

  • Home
  • 中国数学家邓煜调侃AI:若解决所有问题,我就回家写小说

中国数学家邓煜调侃AI:若解决所有问题,我就回家写小说

2026-09-14 3782

9月11日,25位菲尔兹奖得主联合发布了一份名为《AI与数学界的严重失调》的声明,强烈批评当前AI公司竞相攻克数学难题,并将其作为衡量模型能力的“基准测试”,对数学研究造成了严重危害。该声明由陶哲轩发布于其个人博客“What's new”,同时刊载于mathandai.org。这份声明的签署者几乎涵盖了当代数学界的杰出人物,名单包括了1978年至2026年间的历届菲尔兹奖得主,如陶哲轩、彼得·舒尔策、玛丽娜·维亚佐夫斯卡、考切尔·比尔卡尔等。

陶哲轩在博客中提到,声明源于数学家们近一周的讨论,认为现在有必要公开表态。声明的主要观点并不是担心AI会摧毁数学,而是警告目前的趋势使得数学问题被异常地当作AI能力的展示工具,这与真正的数学研究需求存在严重的目标错位。

声明指出,当AI公司把尚未解决的数学难题作为展示技术的“表演项目”时,这些问题就失去了研究的意义,变成了“基准测试燃料”。AI解决的数学问题往往匆匆公布,缺乏规范的论文撰写和创新的解释,也没有充分展示其成果所依赖的前人研究,形成了归属和抄袭的潜在隐患,进而可能削弱数学知识的代际传承。

about image

声明强调,传统数学训练不仅在于找到答案,更在于提出问题和深化理解的能力。然而,AI的迅猛解题能力有可能将结果的产出与深入理解割裂开来。尽管如果AI能负责任地融入研究流程,确实具有加速学术研究的潜力,但最终的方向必须由人类的正确引导决定。声明呼吁数学界、AI企业及社会各界应认真对待这一问题,不应因技术进步而牺牲学术探索和创造性思维。

值得一提的是,作为此次声明签署人之一的邓煜,调侃表示:“如果AI真的能解决所有数学问题,我就回家去写我的百合小说。”他坦言,AI给数学界带来了“躁动不安”的情绪,并认为这种情况在未来一两年会慢慢好转。邓煜强调自己的言论仅是玩笑,表示并不认为AI能发展到解决所有数学问题的水平。此外,邓煜还是喜欢阅读“百合”题材作品的爱好者,曾在得知获奖消息时正在阅读言情小说。

about image

这一声明的发布也源于近期AI在数学领域的相关“突破”。不久前,Anthropic的Claude模型在数学证明工具Lean中正式验证了费马大定理;在2026年菲尔兹奖颁奖典礼上,新晋得主雅各布·齐默尔曼还表示将离开多伦多大学,加入OpenAI,认为AI即将能够完成数学家的大部分工作。基于此背景,25位菲尔兹奖得主的联合声明被解读为数学界对AI浪潮的罕见集体回应。

about image

发表评论