一群数学家发出警告，认为 AI 在数学推理与定理证明上的能力正快速提升，可能颠覆传统研究方式，呼吁学界正视风险与机会。
一群数学家近日通过《科学》杂志发出公开警告，称 AI 在数学领域的进步速度超出预期，已开始影响定理证明、问题发现乃至同行评审等核心环节。该警告发表于 2025 年 3 月左右，正值多个 AI 系统在数学奥林匹克、自动定理证明等基准测试中不断刷新成绩之际。
数学家们指出，AI 不仅能快速验证已知定理，还能提出人类未曾想到的证明路径或反例。这种“非人类直觉”的推理方式可能带来新的数学发现，但也可能使研究者过度依赖机器生成的结果，忽视其中隐藏的错误或逻辑盲区。此外，AI 加速了论文产出，给传统出版与审稿体系带来压力。
值得关注的是，该警告并非全盘否定 AI，而是呼吁建立更严格的验证框架、保持数学推理的透明性，并重新思考“证明”的含义。这与近期 DeepMind、OpenAI 等机构在形式化数学（如 Lean、Isabelle）上的突破形成对比。若 AI 能可靠地辅助数学家完成繁重的基础验证，有望释放人类创造力；若放任其“黑箱”式输出，则可能削弱数学作为严格演绎科学的根基。
原文链接: https://www.science.org/content/article/mathematicians-issue-warning-ai-rapidly-gains-ground