AI 没证明黎曼猜想，却把 37 年的纪录往前推了 25 个百分点Anthropic 没能证明黎曼猜想，却让一个未公开的 Claude 把停滞 37 年的数学下界从 41.6% 推到 67.2%。更值得留意的是，这份证明由模型生成、再由数学家复核，我们凭什么信它。