25位菲尔兹奖得主警告AI数学发展目标错位

当地时间9月11日，陶哲轩、邓煜、彼得·舒尔茨等25位菲尔兹奖得主作为最初签署人，联合发布《人工智能在数学中的严重错位》声明，指出AI公司与数学共同体之间正出现明显目标偏差。

声明指出，过去数月大语言模型的数学能力快速增强，已经能够处理不少重大未决问题。但把数学题能否被解决当作AI基准竞赛，可能伤害数学科学本身，也暴露出AI企业目标与数学界追求之间的严重错位；类似矛盾还延伸到科学、创意职业及社会层面。

数学研究旨在理解形状、数字和自然现象的基本结构，经过数代人积累了复杂的思想、方法、抽象概念与工具，现代科技和科学也建立在这些数学成果之上。

数学共同体由采用不同方法的个人组成，并依靠一套共同价值观维系。数学家给学生提出问题，通常是为了培养研究及其他领域所需的能力；他们还通过讲座、交流和严谨写作，将新思路与既有成果连接起来。这些过程需要时间，也依赖人与人之间的互动。

声明认为，AI解决重大数学问题的案例受到广泛关注，但解题只是获得概念理解和洞察的手段，而非最终目的。若AI发展忽视这一点，大规模、快速生成真假难辨的陈述，反而可能破坏孕育新思想的环境。

许多AI生成的方案发布仓促，缺少正式论证、方法隔离和对相关工作的引用，由此带来严重的署名与抄袭风险。若没有数学家负责检验、发展并将其纳入数学经典，AI提出的想法也难以充分实现，数学家之间重要的人类传递链还可能中断。

声明进一步称，智力工作正面临普遍挑战：传统培训不仅帮助人们获得答案，也培养理解能力以及提出新问题和新想法的能力。如今AI可基于大量人类早期成果直接产出类似结果，使工作成果与工作的初衷逐渐脱节。数学界的处境，折射出其他科学、创意职业乃至全社会共同面对的问题。

声明表示，AI仍有潜力提升并加速数学学习和理解，数学职业也需要适应变化。但技术最终带来促进还是破坏，取决于人类如何使用和管理它。数学界、相关企业及社会各方应尽快共同应对这一问题。

另有报道显示，邓煜近日在朋友圈表示，他接触到的数学界正弥漫着浮躁不安的氛围。他称自己好奇AI能力的上限，如果通用人工智能最终能解决数学领域的大量问题，能够在有生之年见证这一“神迹”也值得，届时自己或许会回家写百合小说。

邓煜随后回应称，目前并没有写百合小说，相关说法完全是玩笑。他还表示，不认为“AI 1”能够发展到解决所有数学问题的程度，至少无法解决自己帖子中提到的那些问题。