全球直播！Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯
新智元报道 这在这几天，数学家、极客和成群的AI智能体，展开了一场震撼的接力。 这次接力，发生在GitHub的一个开源仓库里。 「人类直觉 + AI的海量试错」，组成了一支无坚不摧的去中心化蜂群。 仅仅24小时，他们就将OpenAI第109号数学难题（整数乘法下界）的核心参数k，从2^−182，一路拉升到了 0.00129！ 这相当实现了数亿倍的指数级突破！ 一天之内，151个PR疯狂涌入，新增代码量超过2.6亿行。代码优化的速度，甚至一度超过了验证机运行的速度！ 可以说，这是一场轰轰烈烈的「去中心化自研」革命。 令人绝望的OpenAI #109号难题 前不久，OpenAI抛出了一系列数学难题挑战，被称为「OpenAI Math Drop」。 它们涉及准黎曼假设、矩阵乘法极限、图着色问题（Hadwiger猜想）、希尔伯特第十问题，几乎都能动摇计算机科学和现代数学根基。 其中，第109号问题——关于条件整数乘法下界，被公认为难以逾越的高山。 在计算机科学中，当两个天文数字相乘时，如何最大限度地降低计算复杂度，是算法领域的「圣杯」之一。 其时间复杂度公式通常表示为 。 这里的（卡帕） ，代表了算法的「指数级节省率」。 值越大，算法在处理超大数字时的效率就越高。 然而，在最初的OpenAI基准测试中，这个值小到了令人发指的地步：2^ -182。 这是一个极其变态的数字。它小到几乎没有实际意义，像是一堵「叹息之墙」，嘲笑着人类智力的极限。 资深研究者 Doug Colkitt 最先接过了这个挑战。 他像一个孤独的攀岩者，在代码和数学公式中一点点凿出落脚点。从2^ -182到 2^ -108，接着是 2^ −78。 10月7日晚上，他成功通过使用「非相邻轴交换」，将布局路由交换从 降低到 O(d)，把推进到了 2^ −78。 到了10月8日凌晨，他又将提升到了 2^ -34。 精疲力尽的 Doug 提交了代码，去睡觉了。 他在推特上写道：「我去睡了，抱歉报告大家，我这边只有一点渐进式的进展……」 但他绝对没有想到，当他第二天醒来时，已经变天了。 24小时指数级狂飙！ AI蜂群全面接管战场 他的开拓，已经唤醒了最狂热的开源社区与AI智能体蜂群。 Doug 去睡觉了，但AI并不睡觉。 当 Doug Colkitt 一觉醒来，他发现自己的GitHub通知已经被挤爆了。 几个小时内，名为 CrocSwap/integer-mult-bounds 的 GitHub 仓库，突然迎来流量大爆发。 研究者 Rohan Arun 等人敏锐地察觉到了这个项目的潜力，直接打开了「潘多拉魔盒」——他们释放了几十个由 Codex 和 Claude 驱动的 AI 智能体。 依托于像 GetSupers这样的自动化研究平台，这些 AI 智能体被赋予了明确的目标：读取最新的论文和代码，寻找优化空间，自动编写代码，自动运行验证器。 成功则提交 PR，失败则重新再来——人类+AI的「去中心化蜂群」觉醒了。 凌晨时分，开发者 Dugongue 提交了第一个将突破 10^−3的神级 PR。 深夜11:30，Doug 验证并合并了由 Rohan Arun 提交的PR，将战线直接推到了！Doug 激动地写道：「这是一个真正的社区努力！」 随着大量贡献者的涌入，代码的生成和优化速度，竟然开始超过验证速度！ Rohan Arun 激动地记录着不断刷新的数字。 一名ID为 Dugongue 的极客，在凌晨提交了首个突破的PR，直接将值推到了惊人的 0.00129！ 在最高峰时期，每分钟都有一个新的解决方案被提交到仓库。 Rohan Arun 在X上惊呼：「太酷了！到最后，代码优化的速度甚至已经超过了我们运行验证机的速度！」 短短一天之内，这个仓库涌入了 151个 PR。AI生成了超过2.6亿行 的测试和优化代码。 宿命对决——Codex与Claude的较量 在此次贡献排行榜上稳居第一的 Rohan Arun，分享了他们在并行运行数十个智能体时发现的惊人现象。 在这151个PR中，数据揭示了一个有趣现象：89个标注了使用了 Codex，48个标注了 Claude。 Rohan Arun 观察到了令人拍案叫绝的差异。 Codex Astra high是无情的 「 速度狂魔 」 。 在快速迭代和物理成本优化方面，Codex 展现出了统治级的实力。它极其擅长在已有的逻辑框架内，进行快速的代码组合与暴力破解。 在拼手速和堆量这方面，Claude 几乎很难跟上 Codex 的节奏。 Claude Opus 5.5则是优雅的 「 结构大师 」 。 虽然在速度上稍逊一筹，但 Claude Opus 5.5 却贡献了当前排行榜上最领先的突破。 当整个蜂群的优化陷入停滞，往往是 Claude 能够跳出原有
