就在OpenAI用AI模型解决了一个困扰数学界80年的点距问题后，媒体还没来得及庆祝AI的又一次胜利，16位顶尖数学家便在荷兰莱顿大学联合发布了一份名为《莱顿宣言》的文件，公开反对AI在数学领域的“算法霸权”。这份宣言迅速在学术界和科技圈引发热议，成为近期AI话题中少有的“反方声音”。宣言的核心观点是：数学不能被自动化夺走灵魂。这16位数学家认为，尽管AI在解决特定数学问题（如OpenAI攻克的点距难题）上展现了惊人的效率，但这种“解题机器”式的应用正在侵蚀数学的本质。数学不仅仅是计算和证明，更是一种人类独有的创造性活动，包含直觉、审美和探索未知的冲动。宣言警告，如果数学研究过度依赖AI，未来数学家可能会沦为算法的“监督员”，失去对数学深层结构的理解。具体到技术层面，宣言指出，当前AI模型在数学领域的表现存在三大隐患：一是缺乏可解释性，AI给出的答案往往无法提供清晰的推理路径，这让数学验证变得困难；二是数据依赖性强，AI只能在已有数学知识的框架内“优化”，难以产生真正突破性的原创思想；三是可能引发“学术垄断”，少数掌握顶尖AI资源的机构将主导数学发现，从而扼杀多元化的研究生态。宣言呼吁数学界建立伦理准则，确保AI作为辅助工具而非主导者。这场争论的背后，其实是AI在科研领域角色定位的普遍焦虑。从OpenAI的突破到《莱顿宣言》的回应，我们看到技术社区对“AI是否应该接管人类智慧高地”的分歧。对于AI从业者来说，这一事件提醒我们：在追求性能指标的同时，不能忽视人类创造力的独特性。未来，如何在AI效率与人类智慧之间找到平衡，或许比攻克任何数学难题都更具挑战。毕竟，数学的灵魂从来不在答案里，而在追寻答案的过程中。