AI证明了准黎曼猜想，数学家该欢呼还是该不安？

AI真的能啃下黎曼猜想级别的硬骨头了？《Quanta Magazine》报道，人工智能已证明准黎曼猜想（Quasi-Riemann Hypothesis），直接切入数论最核心的无人区。黎曼猜想悬置一百六十年，连"准版本"都被机器拿下，这不是渐进式进步，而是量变引发质变的信号。但问题来了——AI给出的证明，同行评审信不信？数学家要的不是一个答案，而是一条人类能逐步验证的推理链。如果AI只是靠统计直觉跳过关键步骤，再漂亮的结果也不过是数字幻觉。真正的转折不在它证没证，而在于数学界愿不愿意重新定义"证明"这个词本身。

原文：AI Proved the Quasi-Riemann Hypothesis. What Happens Now? · 来源：Hacker News