在线杠杆配资 AI一天半干掉37年数学瓶颈！Claude把黎曼猜想零点下界从41.6%狂拉到67.2%

  真不是吹，这次AI干的事，连数学家自己都愣了三秒。不是算得快，不是试得多，是真·想出了新路子——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没取代数学家，但它第一次以可追溯、可验证、可复现的方式，成了那个蹲在黑板前，擦了又写、写了又擦、最后突然拍大腿说‘等等，这里能换个角度看’的人。

胜亿优配提示：文章来自网络，不代表本站观点。