AI 攻克百年数学难题，25 位菲尔兹奖得主联名警示，核心担忧是什么？
2026-11-07 阅读 1
核心担忧不是“AI 会不会做数学”，而是它正以极快速度生成看似可信、却可能未经充分核验的证明与研究结论，数学共同体的验证机制未必跟得上。数学证明需要每一步都严密成立；语言流畅、符号复杂或模型给出正确答案，都不能替代可检查的论证。若错误结果被大量投稿、引用或传播，审稿和同行验证的负担会陡增，也可能挤占研究者核查真正成果的时间。
更深一层的问题是责任与可追溯性：研究者是否理解并能解释 AI 参与形成的证明？出了错由谁负责，使用了什么模型和推理过程是否披露？因此，联名警示的重点应理解为要求审慎使用、透明披露，并保留严格的人类数学审查，而不是简单主张禁止 AI。AI 可以帮助探索思路、检查计算或寻找引理，但在结果被独立验证之前，不能把“模型声称证明了”当作定理已经成立。
更新于 2026年11月12日
赞 13
