真不是吹，此次AI干的事体育游戏app平台，连数学家我方王人愣了三秒。不是算得快，不是试得多，是真·想出了新蹊径——Anthropic拿一个还没公开的征询版Claude，让它去碰黎曼估计这座大山。成果呢？没证出来，但顺遂把一个卡了37年的数字从41.6%干到了67.2%。啥主见？往常三十多年，东说念主类数学家系数往前拱了不到1个百分点；Claude一天半，狂飙25.6个点。它没靠蛮力穷举，而是组织起60个子Agent，在Claude Code里跑历程：两个主攻手出想路，十三个打接济，三十个白忙绿，十三个成心挑刺，临了俩东说念主写论文。全程烧掉3100万token，引申2400条敕令，写几百个剧本——这哪是调模子，这是带一支AI科研小队打了一场硬仗。

  别急着喊“黎曼估计被AI破解了”，这误解可太大。67.2%不是“完成了六成”，而是“咱们能严格解释：至少这样大的比例，铁定在线上”。剩下那32.8%，它岂论，也管不了。黎曼估计要的是100%，差一个零点王人不算数。但这个下界的好奇，就像盖楼打地基——地基越深越稳，后续往上搭的表面就越有底气。清华团队刚开源的VeriLoop Coder-E1亦然同理：不追求“一次写对”，而是让代码生成、测试、报错、修正、再考证酿成闭环。把柄不是用来装潢论断的，是用来推翻旧程序、逼系统换脑子的。Claude此次冲突，正好踩在了这个逻辑上：它没复刻老路，而是用把柄重构了零点分离的分析框架。

  更值得谈判的是，这事发生在“没东说念主知说念谜底”的场地。不是考前划要点，不是刷题找套路，而是在一派黑丛林里边砍树边画舆图。它读论文、调包、作念数值施行、相互质疑、回滚重来……650次失败之后才摸到门。这和东说念主类数学家的职责节拍越来越像了：不是灵光一闪，而是反复试错+把柄运行+融合迭代。AI没取代数学家，但它第一次以可追想、可考证、可复现的表情，成了阿谁蹲在黑板前，擦了又写、写了又擦、临了倏得拍大腿说‘等等体育游戏app平台，这里能换个角度看’的东说念主。