25 位菲尔兹奖得主联合警告“AI 在数学领域严重错位”,邓煜调侃要退休回家写百合小说
25位菲尔兹奖得主联合发布《人工智能在数学中的严重错位》声明
当地时间9月11日,陶哲轩、邓煜、彼得·舒尔茨(Peter Scholze)等25位菲尔兹奖得主作为首批签署人,联合发表题为《人工智能在数学中的严重错位》(A Severe Misalignment of AI in Mathematics)的声明,直指AI公司与数学共同体之间正在出现“严重错位”。签名者横跨近半个世纪的菲尔兹奖得主名单,除上述三人外还包括皮埃尔·德利涅、塞德里克·维拉尼、玛丽娜·维亚佐夫斯卡等顶尖数学家,声明同步上线独立网站,后续还将开放更多数学家追加联署。这份声明是过去一周多位菲尔兹奖得主集中讨论后快速推出的,学者们认为事态紧迫,来不及大范围征求更广泛学界意见,因此先行对外发布。声明指出,双方衡量“进步”的尺度已经出现偏差:AI公司更容易用一道著名难题是否被攻克来展示模型能力,数学界关心的则是这些结果能否被验证、理解、吸收,并进一步转化成新的方法和问题。

邓煜调侃AI若攻克所有数学问题就退休写百合小说
今年菲尔兹奖得主邓煜近日在社交媒体上公开开玩笑称“如果AI能解决所有数学问题,我就回家写小说”,此番言论引发广泛关注,他随后向媒体解释这只是一句玩笑,并不认为AI目前已经具备解决所有数学问题的能力。不过邓煜也提到,AI的快速发展确实给数学界带来了焦躁与紧迫感,他预计未来一两年后整个领域会逐渐找到新的适应方式。25位菲尔兹奖得主在声明结尾也持相同观点,认为AI有潜力加快真正的数学研究,数学家这一职业也需要随之调整。
学界核心担忧:解题速度不能替代数学研究的本质价值
近期OpenAI旗下多款大模型接连攻克困扰人类数十年的数学难题,包括尚未对外发布的内部大模型借助约1万个AI智能体协同工作,仅耗时88小时完成千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题的证明,已推出的GPT-6 Astra也攻克了5道悬而未决的Erdős数学难题,这也是此次学界发出警告的直接背景。声明强调,数学研究的核心目标是形成概念理解与新洞见,而非单纯给出“正确或错误”的答案,长期以来重要未解问题相当于数学世界的“地标”与“灯塔”,问题被解决往往意味着研究者发现了新方法、新思路,后续还需要经过报告、讨论、简化,最终才能转化为可被广泛理解、复用的知识成果,部分数学思想甚至需要数十年乃至数百年才能成为通用工具。而当前AI企业普遍将“攻克著名数学难题”作为衡量大模型能力的核心标尺,这种“解出多少题”的量化目标,正在取代数学共同体真正关心的“理解”这一核心指标。声明警告,AI以越来越快的速度批量生产“真/假”结论,可能不是在孕育新思想,反而会摧毁孕育思想的沃土:一方面,AI产生的解答若被匆忙宣布,没有足够时间完成规范论文写作、提炼新方法、引用前人成果,会引发严重的学术署名与抄袭问题;另一方面,大量人类难以读懂的证明文本会压缩同行评审、严谨核验的空间,长期破坏数学共同体赖以生存的科研生态。
声明未反对AI入局 呼吁各方重新锚定数学研究核心目标
声明明确指出,并未反对AI进入数学研究领域,AI本身具备加强和加速真正数学研究与理解的潜力,最终影响走向取决于掌握技术的人如何作出决策。但当前更值得讨论的是“速度差”带来的目标偏差问题:数学只是较早遇到这种矛盾的领域,随着AI进入科学研究、编程、写作等更多知识工作领域,同样的问题还会反复出现。25位菲尔兹奖得主在声明最后呼吁,数学共同体、AI技术开发公司以及整个社会都需要尽快面对这一问题,当AI改变工作完成方式时,不能忘记这些工作最初希望实现的核心价值。