Claude挑战数学界千年难题：黎曼假设虽未攻克，但将下界从41.6%提升至67.2%

8月10日，Anthropic公布了一个让人眼前一亮的实验结果：他们让一个未发布的研究版Claude尝试解决黎曼假设——这个数学界最著名的未解难题之一。虽然Claude没有彻底攻克它，但取得了实质性进展。

核心看点

🎯 什么是黎曼假设？

黎曼假设是数学中最著名的未解决问题之一，由Bernhard Riemann在1859年提出。它关于黎曼zeta函数零点的分布规律，如果被证明，将深刻影响数论和密码学等领域。这个难题已经困扰数学家超过160年，甚至被列入了克雷数学研究所的千禧年大奖难题。

📈 从下界41.6%提升到67.2%

Claude没有直接证明黎曼假设，但在一个相关问题上取得了突破：

• 之前的结果：数学家已经证明，至少有41.6%的zeta函数零点满足黎曼假设
• Claude的成果：将这个下界从41.6%提升到了67.2%

这意味着Claude找到了新的数学技巧，能够证明更多的零点符合假设。虽然离100%还有距离，但这个进步幅度相当可观。

🤖 未发布的研究版本

值得注意的是，这个实验使用的是未发布的研究版本Claude，不是公开可用的版本。这说明Anthropic内部可能还有更强的模型在测试中。

🔥 引发热议

这条推文获得了约1832万次浏览，引发了大量讨论：

• 有人调侃："你们是不是忘了加’不要犯错’的提示？"
• 有人鼓励："试试这个：’部分结果够了，让我们来个完整的无条件反例’"
• 也有人认真讨论AI在数学研究中的潜力

AI做数学，靠谱吗？

这个实验展示了AI在数学研究中的独特价值：

• 不知疲倦：可以长时间尝试各种方法
• 模式识别：能在大量数据中发现人类可能忽略的规律
• 辅助而非替代：AI的成果需要人类数学家验证和完善

不过也要看到，从67.2%到100%可能是更难跨越的鸿沟。AI在数学领域的应用还处于早期阶段。

总结

Claude在黎曼假设上的尝试，虽然没有创造历史，但展示了AI在纯数学研究中的潜力。从41.6%到67.2%的提升，说明AI可能找到了人类数学家尚未发现的新思路。未来，我们或许会看到AI和人类数学家更多合作，共同攻克那些看似不可能的难题。

来源：x.com/AnthropicAI 官方推文