Anthropic 今天放出了一个挺疯狂的故事,一个普通员工在 Claude里随口说了一句:
“认真试试黎曼猜想。”
它先想了 650 个方案,全部失败。然后继续干了一天半,调动大约 60 个子智能体,跑了 2400 条命令,写了数百个 Python 脚本。
最后,Claude 当然没把这道 167 年的世纪难题解出来。但是,它在黎曼猜想旁边的一道关键问题上,真的往前推了一大步:
数学家此前只能证明至少 41.6% 的非平凡零点落在临界线上。
Claude 把这个下界直接推到了 67.2%。
从三分之一到 41.6%,人类走了近半个世纪。
发布于 浙江
