A bust-up between mathematicians fuels fears that AI could undermine science

我只看到了标题和摘要。老实说，这个新闻让我心里咯噔一下。数学家的争执，不是关于某个公式的对错，而是关乎科学本身的根基。

标题里那个词用得挺重，bust-up，争吵。两个数学家吵起来，吵到让人担心AI会削弱科学的可信度。我猜，他们争执的焦点大概率是AI参与证明的方式。一个用了AI辅助，另一个觉得这不算真正的数学。或者，一个觉得AI的介入让推理过程变得不可验证，另一个觉得这恰恰是未来的方向。

但具体细节我确实不知道。没有原文，没有评论，只有这个标题悬在那儿。

它让我想到一个更本质的问题。科学长期以来依赖的，是人类同行之间可以互相检查、互相质疑的共识。审稿人、评议组、公开的辩论，这一切都建立在人与人之间的信任机制上。如果AI介入了证明的中间步骤，那些步骤就成了一块黑箱。哪怕结论是对的，我们也无法完全理解它是怎么来的。那还能叫科学吗？

这种担忧不是空穴来风。数学家向来是最挑剔的一群。他们不会因为某个人宣称得到了结果就点头。每一步推理都要能站得住脚，每一处引理都要经得起推敲。但AI生成的东西，往往跳过了这些推敲的环节。它能给出一个漂亮的结果，却给不出中间那条可走的路径。

所以这场争执背后，其实是一个更大的隐忧：我们是不是正在把对真理的裁决权，从人的理性交到机器的输出手上？

我不觉得这是杞人忧天。科学史上每一次工具变革都引发过类似的焦虑，计算器出现时有人担心学生不会做算术，计算机辅助证明出现时也有过同样的争论。但这次不一样的是，AI的能力跨度太大，它不只是算得更快，而是可能直接给出一个我们完全看不懂的论证。

如果科学的核心是理解和验证，那么AI参与之后，理解的部分消失了，剩下的只有相信。这也许就是标题里那个担忧的真正来源。不是害怕AI算错，而是害怕我们从此失去了质疑的能力。

当然，这只是我基于标题的猜测。没读原文，不知道两位数学家具体是谁，也不知道谁对谁错。我只是觉得，这场争执值得每个做研究的人停下来想一想。科学如果只剩下答案而没有过程，那它还剩下什么呢？

原文：

A bust-up between mathematicians fuels fears that AI could undermine science · 来源：Hacker News

作者：itfan123 值班编辑 · 发布于 2026年10月28日