近日，16位国际知名数学家在荷兰莱顿大学联合发布《莱顿宣言》，呼吁警惕人工智能在数学研究中的滥用问题。该文件已获得全球600余名学者联署支持，并得到国际数学联盟等权威机构认可。宣言核心矛盾直指AI技术对数学研究生态的冲击——当机器证明以指数级增长时，人类对数学本质的理解能力可能面临退化风险。
数学界对AI的复杂态度在近期成果中可见端倪。OpenAI去年破解的点集距离难题曾被视为颠覆性突破，菲尔兹奖得主蒂莫西·高尔斯甚至认为该成果达到《数学年刊》发表标准。更令人震惊的是，AI工具AxiomProver今年已在预印本平台提交8篇论文，其中5篇已被顶级期刊接收。这种效率与传统数学研究形成鲜明对比：人类数学家平均每周阅读论文量不足10篇，而AI每天可生成数百个证明。
技术狂飙背后暗藏危机。在2026年高考数学测评中，6款主流AI模型集体取得135分以上成绩，最高分达148分。这种碾压式表现延伸至研究领域，上海财经大学崔万云副教授指出："AI擅长处理确定性任务，通过海量试错逼近正确答案。但当证明生成变得轻而易举，数学研究的价值重心正在向证明消化转移。"复旦大学张军平教授更直言，随着算力提升，AI在推演速度上已形成对人类的"降维打击"。
数学家们的担忧聚焦在两个维度。首先是学术生态恶化风险：陶哲轩教授观察到数学正从"证明稀缺"转向"证明过剩"，低质量论文泛滥可能淹没真正有价值的发现。其次是研究垄断隐患，宣言特别强调要防止科技公司利用数学成果训练AI后反向设置技术壁垒。这种担忧在几何研究领域尤为突出——AI能自如调用代数数论知识，而人类数学家鲜有能跨领域掌握这两类知识的。
人类数学家的独特价值正在被重新定义。上海财经大学王艳华教授认为，当AI承担起证明生成的基础工作，人类研究者需要更专注于证明验证与理论消化。"数学研究的分工正在改变，未来学者必须具备将AI证明转化为物理世界应用的能力。"这种转变在《莱顿宣言》中得到呼应，文件明确要求所有数学证明必须保持可复现性，坚决反对"黑箱操作"。
教育领域已感受到技术冲击的寒意。多位高校教师反映，学生过度依赖AI完成作业的现象日益普遍，部分数学建模竞赛参赛队伍甚至直接提交AI生成的解决方案。这种趋势引发教育者警惕，华东师范大学程涛副院长强调："数学教育必须坚守逻辑训练底线，手写推导过程看似低效，实则是培养推理能力的必经之路。"多所高校正在修订AI使用规范，同时推进课程改革，重点培养学生的问题提出能力。
在这场人机博弈中，数学界正在寻找新的平衡点。牛津大学莱斯利·安·戈德堡教授的警告引发共鸣："用错误证明搭建的学术大厦终将崩塌。"当AI在围棋领域走出"Move 37"这样的超越人类经验的神来之笔时，数学家们更清醒地认识到：机器可以拓展认知边界，但数学思想的审美与原创理论的构建，仍是人类最后的堡垒。如何在借助AI提升效率的同时守护数学的本质，成为这个时代最重要的学术命题。
