650次失败没停手，Claude挑战黎曼猜想，改写了数学界60年的记录
给AI出一个167年没解开的数学题，它会怎么做？
Anthropic最近做了个实验：让科研版Claude去"认真挑战"黎曼猜想。第一轮，Claude提出了650个思路，全军覆没。换你你停不停？它没停。
第二轮，Claude自己调整策略，启动60个子Agent协作。这些Agent跑了2400条命令，写了几百个Python脚本，互相审查证明，下载了54篇论文交叉验证。跑了一天半，消耗3100万个token。
最终结果：黎曼猜想没证出来。但它把零点下界从41.6%推进到了67.2%。
这个数字什么意思？从1942年数学家Selberg证明"有正比例零点在临界线上"开始，Levinson推到三分之一，Conrey推到五分之二，2020年到41.6%——这条线，数学家花了80多年推进。Claude一次尝试，直接拉到三分之二。
Anthropic用了个很少见的词来形容关键突破："courage"（勇气）。不是Claude发明了全新的数学工具，而是它把散落在不同年代、不同论文里的方法拼在一起，组合出了人类研究者没时间尝试的方案。
这才是AI做科研的可怕之处：不是比谁聪明，是比谁读得多、试得快、不怕失败。650次失败不是浪费，是搜索空间的一部分。
你说它离证明黎曼猜想还有多远？可能很远。但它已经证明了一件事：AI可以在答案未知的开放问题上，产出人类从未见过的结果。
这跟"AI做选择题"完全是两个时代了。
AI科研 黎曼猜想