AI 想证明"黎曼猜想"，结果失败了。
但失败的过程，意外刷新了一项数学纪录。
昨天，Anthropic 公布了自己做的一次实验： 让一个内部研究版 Claude 去挑战数学界最难的"黎曼猜想"。
黎曼猜想是啥？一个悬赏 100 万美元、从 1859 年困扰了数学家 160 多年的终极难题。
结果呢？ Claude 没证明出来，失败了。
但它顺着研究路线继续走，意外把一个和黎曼猜想密切相关的关键数字，从 41.6% 提高到了 67.2%。
啥概念？这个数字几十年来几乎没动过，Claude 给它推进了一大截。
你说这事有意思吗？ AI 想干大事没干成，却顺手刷新了一项纪录。
这恰恰说明，AI 不是"神"，它是探索路上一个越来越强的帮手。
你觉得呢？
