riemann-hypothesis

Anthropic未发布的研究版Claude将满足黎曼猜想的黎曼ζ函数零点的比例下界从41.6%提高到67.2%，展示了AI数学能力的快速进步。

一位非数学家使用 ChatGPT 识别出两篇最近发表的黎曼猜想论文中的归一化错误，且作者在收到联系后确认了该问题。这个故事凸显了 AI 在辅助数学研究方面日益增长的作用。

本文应用VGPT-RSI人工智能系统生成与黎曼假设相关的形式化验证的部分结果，包括边界证书和有限Lagarias不等式，同时明确识别剩余数学障碍。

Anthropic报告称，一个未发布的研究版Claude将与黎曼猜想相关的一个长期未解决的下界从41.6%提高到了67.2%，并提供了形式化验证的证明。