全球已有超过130位数学家签署了《莱顿宣言》，这份文件警示人工智能对该学科的影响。签署者认为，使用AI工具生成证明威胁着人类推理的自主性和结果的可验证性，为难以察觉的错误打开了大门。
机器生成证明的验证困境 🧠
核心问题在于AI生成的数学证明的本质。与数值计算不同，形式化证明需要逐步可验证的逻辑结构。当前模型（如大型语言模型）可以生成看似连贯的推理链，但其中隐藏着逻辑跳跃或虚假假设。如果没有人类彻底审查，这些缺陷会蔓延，污染未来的研究，并侵蚀对结果的信任。
AI能解方程，但不知对错 🤖
这就像让一只鹦鹉解数独：它能重复数字，却不理解规则。AI生成的证明看似教科书般完美，但一旦出现逻辑错误，纸牌屋就会轰然倒塌。当数学家担忧严谨性时，机器只关心如何显得令人信服。至少，鹦鹉不会试图在索引期刊上发表论文。