制度层面的规范构建,则试图为这场分化划定底线。2026年6月2日,由16位多国数学家起草的《莱顿宣言:AI与数学》发布,其中提出23条建议,面向个体数学家、数学组织、资助方与政策制定者,核心关切包括证明与理解、作者归属、可独立验证的论证、共享评估标准及学科自主权;明确列出自动化论证不可靠、训练数据破坏归属体系、激励机制紊乱等威胁,并已获国际数学联盟背书。这份宣言试图为AI时代的数学研究划定底线,但其约束力仍依赖于共同体的自觉认同。
当全球数学界还在为如何与AI共处争论不休时,中国数学界已经以联盟形式组织起来,在工具研发与规则建设上同时发力。10月11日,就在OpenAI发布722篇手稿的第五天,由菲尔兹奖得主、清华大学讲席教授丘成桐牵头组建的“丘成桐数学与人工智能实验室联盟”在清华大学揭牌。该联盟由清华大学求真书院、清华大学丘成桐数学科学中心、北京雁栖湖应用数学研究院、中国科学院晨兴数学中心等8家机构组建,拥有1000名科学家,设立学术委员会统筹方向,建立数据算力共享机制,制定成果评价与伦理规范。
丘成桐用“海啸”来形容这场冲击。他说,一年前还没有意识到AI具备如此强大的能力,近期的进展已远超预期。“AI做得越好,对我们越有帮助。我们因此要在整个海潮上面冲浪,而不是躲起来避开它。”他认为,合理使用AI,产生的学问、成果和影响将是划时代的;但处理不当,可能带来灾难性的后果。他指出,从古至今,基础科学的发展往往靠少数人推动,而AI是一个集大成的工具,把人类有史以来直到今天的思考通过强大算力聚合起来。虽然真理是无穷的,但AI正在不断提高理解真理的能力。他说:“于我而言,探寻宇宙客观真理是优先目标。无论黑猫白猫,只要能得到真理,结果最重要。得到真理之后,我们再讨论用何种手段去消化理解它。”
中国科学院院士、中国数学会理事长席南华表示:“我们正处于一个变革的时代。”他认为,AI建立在数学基础之上,虽然目前还只是在数学花园里种出一些新的花草,距离构建数学大厦还有很大差距。他相信,数学永存,数学家则是数学不可分割的一部分,希望联盟在促进我国数学与AI健康发展方面发挥重要作用。
中国科学院院士、中国科学院数学与系统科学研究院研究员田野进一步指出,数学发展来自重要问题的解决,也来自新概念、新方法和理论联系的发现;数学家与AI可以彼此补充,共同向难题发起挑战。他尤其期待联盟在学生培养方面发挥积极作用:“希望求真书院学生把扎实的数学基础训练与前沿探索相结合,尽早接触真正的研究问题,保持好奇心、大胆使用新工具,同时坚持独立思考、严格论证,保持对数学本质的追问。”
国际数学联盟副主席、香港数学会会长何旭华则从合作机制的角度补充:AI在数学研究中的进展带来不少冲击和混乱,“新的研究方式与研究范式正在形成”,但他对AI参与数学研究持积极态度,认为研究能力的提升能够帮助数学家充分释放想象力、展开更多探索,从而敢于提出更艰深的问题;实验室联盟把不同领域、不同机构的研究者凝聚在一起,为数学家共同探索创造了良好契机。
联盟解决了“谁来主导”的制度框架,但落地还需回答“用什么主导”的实践问题。在清华大学求真书院近日举行的“AI与数学”圆桌讨论中,多位数学家围绕AI时代如何教数学、如何评学生展开了讨论,试图为数学2.0时代的人机分工勾勒出初步轮廓。
丘成桐强调:“如果研究者完全依赖AI而不关注细节,就会失去本应从计算中习得的能力。”他以欧拉、高斯为例指出,这些数学家都亲自进行计算,并从中获得关于数与分布的直觉,“这种直觉是算法无法替代的学者根基”。
“学生可以使用AI,但作业必须独立完成,否则便谈不上学习。”清华大学丘成桐数学科学中心教授尼古拉·莱舍提金从“实验数学”的角度看待AI,认为AI为数学实验提供了有力工具,使不擅长编程的研究者也能开展此类工作。
席南华的原则更为简洁:“学生必须从使用AI中真正受益,如果作业只是给AI加上一个脚注,学生什么也没有学到,那便失去了意义。”
中国工程院外籍院士、香港中文大学(深圳)副校长罗智泉则更看重提问能力,认为AI可以加速培养这一技能。他举例说,一名学生借助AI只解决了一部分问题,但已完全理解;另一名学生虽获得了完整答案,却只是将AI输出转交导师,自己并未真正弄懂。他更认可前者。在他看来,AI时代的评价需要面对面的追问,他将此称为“黄金测试”。





