进一步了解 Claude 的数学能力

摘要

Anthropic 的一名员工给未发布的研究版 Claude 布置了一个近乎不可能的挑战：认真尝试黎曼猜想。Claude 并未成功，但在过程中意外改进了黎曼ζ函数满足黎曼猜想的零点占比的已知下界，将这一长期由数学家逐步推进的比例从 41.6% 提高到 67.2%。供职于 Anthropic 的两位数学家审阅并验证了 Claude 的论文，为专家撰写了简洁的非正式说明；Claude 还生成了可形式化验证的证明。外部专家 Brian Conrey 和 Dan Goldston 在短时间内审阅了该论文。Anthropic 不认为这些技术会导向黎曼猜想的证明，但称这是 AI 模型数学能力快速进步的最新例证。