据量子位报道,包括陶哲轩、邓煜在内的25位菲尔兹奖得主近日联合发布声明,称AI公司推进数学研究的方式已与数学共同体的目标出现“严重偏移”。声明不要求停止AI或停止用AI辅助数学研究,也不否认AI取得的数学成果,而是对AI解题速度、商业公司的评价体系和数学开放文化所受冲击发出紧急警告。
声明称,发起人因近期AI急剧发展对数学领域的冲击严峻,未走流程繁琐的协商程序,选择紧急公开发布。过去几个月,大语言模型数学能力快速提升:5月OpenAI内部模型给出Erdős单位距离猜想反例,7月Claude参与推翻Jacobian conjecture,9月初GPT-6 Astra在孪生素数猜想方向把连续素数间距上界从246推至186。本周OpenAI用1万个Agent运行88小时给出Navier-Stokes证明,并引发涉及OpenAI、Anthropic和两位数学家的争议,成为直接导火索,促使25位菲尔兹奖得主在过去一周紧急商议并发表联名公开信。
声明核心担忧集中在三方面:AI解题速度开始超过数学共同体消化知识的速度;AI公司追求基准测试成绩,数学界追求方法、理解和知识传承,两套评价体系开始分叉;当AI能快速完成开放问题后,数学研究的优先权、人才培养和开放文化需要重新定规则。
声明称,著名数学问题更像地标和灯塔,解决它用于检验人类对某片领域的理解程度;重大问题解决后,共同体还需理解新证明、识别新方法并连接已有知识,最终整理成教材。求解只是工具和代理指标,更重要的追求是概念理解与洞见。
声明表示,商业公司仅将解决数学难题作为衡量和推介大模型能力的基准测试,忽略“理解”这一首要目标。其隐忧包括:AI解决方案常匆忙向媒体宣布,未留时间写严谨论文,缺乏对前人工作的引用与归因,引发署名与剽窃争议;AI批量解决或给出反例只是功利性耗尽开放问题,却缺乏向前探索能力,无法提出有深远价值的新问题;AI直接输出会破坏学术训练,若无人接手整合进教材与教学,代际知识传递链可能断裂。声明称,这类做法非但不能孕育新思想,反而会破坏数学研究的土壤。
声明最后要求数学界、开发技术的公司和更广泛社会重视这些问题,因为在许多其他智力工作中也会出现类似问题。首批签署的25位菲尔兹奖得主横跨代数几何、数论、动力系统、概率、偏微分方程、数学物理等领域。陶哲轩此前积极用AI辅助研究,称其为卓越研究助理,但反对过度神圣化;邓煜今年获菲尔兹奖后说,日常会用AI验证特例、查找文献或核验局部逻辑,认为未来三四年数学界可能快速发展,并相信数学家与AI将走向人机协作。
今年6月,《莱顿人工智能与数学宣言》发布,呼吁建立规范,让AI作为辅助工具保护数学核心价值。该宣言由约60位数学家、计算机科学家和学者参与,获国际数学联盟IMU背书,陶哲轩、Peter Scholze等菲尔兹奖得主公开支持签署。3个月后,25名菲尔兹奖得主发布联合声明。