Claude 推进黎曼猜想下界证明

Anthropic 内部研究版 Claude 在黎曼猜想研究上取得可验证的进展：把满足黎曼假设的 ζ 函数非平凡零点比例下界从 **41.6%** 提升到 **67.2%**,并发出一份形式化可验证的证明。两位数学家在 Anthropic 内部复核了论文，相关领域的专家 Brian Conrey 和 Dan Goldston 也参与审阅。

数学家 Youness Lamzouri 在此基础上给出更简洁、更强的新证明(arXiv:2609.02882),把结果推至 **67.25%** 零点位于临界线上且为单零点、至少 **83.62%** 零点互异。Anthropic 明确表示不认为这些技术会直接通往证明黎曼假设本身，这更多是 AI 数学能力进展的一个实例。

💡 为什么值得看AI 模型将黎曼ζ函数零点比例下界从 41.6% 推至 67.2%，获数学界复核。