全球直播！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号问题——关于条件整数乘法下界，被公认为难以逾越的高山。

在计算机科学中，当两个天文数字相乘时，如何最大限度地降低计算复杂度，是算法领域的「圣杯」之一。

这是一个极其变态的数字。它小到几乎没有实际意义，像是一堵「叹息之墙」，嘲笑着人类智力的极限。

资深研究者 Doug Colkitt 最先接过了这个挑战。

他像一个孤独的攀岩者，在代码和数学公式中一点点凿出落脚点。从2^ -182到 2^ -108，接着是 2^ −78。

精疲力尽的 Doug 提交了代码，去睡觉了。

他在推特上写道：「我去睡了，抱歉报告大家，我这边只有一点渐进式的进展……」

但他绝对没有想到，当他第二天醒来时，已经变天了。

24小时指数级狂飙！

AI蜂群全面接管战场

他的开拓，已经唤醒了最狂热的开源社区与AI智能体蜂群。

Doug 去睡觉了，但AI并不睡觉。

当 Doug Colkitt 一觉醒来，他发现自己的GitHub通知已经被挤爆了。

几个小时内，名为 CrocSwap/integer-mult-bounds 的 GitHub 仓库，突然迎来流量大爆发。

研究者 Rohan Arun 等人敏锐地察觉到了这个项目的潜力，直接打开了「潘多拉魔盒」——他们释放了几十个由 Codex 和 Claude 驱动的 AI 智能体。

依托于像 GetSupers这样的自动化研究平台，这些 AI 智能体被赋予了明确的目标：读取最新的论文和代码，寻找优化空间，自动编写代码，自动运行验证器。

成功则提交 PR，失败则重新再来——人类+AI的「去中心化蜂群」觉醒了。

在最高峰时期，每分钟都有一个新的解决方案被提交到仓库。

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 能够跳出原有逻辑，辅助人类产生「结构性的跳跃」。

更有意思的是，这个社区演化出一种「黑暗森林」生态。为了争夺第一，贡献者们开始采取微弱的对抗性策略。

有的「人类+Agent」战队专注于死磕特定领域；有的战队则像精算师一样，不断重复优化模式。

这种竞争性的去中心化自研，甚至比 OpenAI 内部的「闭门 Swarm」还快！

降维打击——E8几何与「人类直觉」的绝杀

但这依然不够。真正让大局逆转的，是人类的直觉。

随着 κ值逼近 0.001，单纯的代码优化的边际效益开始递减，蜂群陷入了「局部最优」 的泥潭。人类的直觉，成了唯一的希望。

整数乘法优化的巨大难点在于，如何在「比特侧」和「复数侧」之间取得平衡。

此时，人类研究者 Jacob Sussman 犹如天降神兵。他创造性地引入一个高维数学概念：E8 格点几何。

E8 晶格是八维空间中球体堆积的最密方式，Jacob 提出，通过 E8 几何的视角来重构原始输入的「配对立方体变换」。

这个灵感，直接把原本在二维、三维逻辑里打转的 AI 们拉到了一个全新的高维空间！

奇迹发生了。在 E8 几何的框架下，「比特侧」和「复数侧」的墙被瞬间打破，两侧开始同步受益，原本相互冲突的算法阻力奇迹般地内部抵消！

有了人类提供的这个「疯狂的直觉」，Claude 迅速构建了新的几何方法 ，Codex 疯狂优化物理电路成本。

最终，新的最佳 PR 被提交，κ飙升至 0.00129！

或许，在未来的科研中，AI 是无敌的「推土机」和验证机，但最顶尖的突破，依然需要人类。

去中心化科学崛起：

人人皆可改写数学史

当 Doug Colkitt 醒来，看到满屏通知、无数PR、以及最新κ值时，他震撼了。

他动情地写道：「所有攻克这个难题的公民科学家，干得漂亮！」

过去，想要在基础数学领域取得突破，你需要考入名校，拜入名师，申请经费，在象牙塔里苦熬数年。

但今天，只要你有一个绝佳的直觉，加上一个每月20美元的 Codex 或 Claude，你就可以与顶尖大脑同台竞技！

物理学家可以让 AI 尝试用量子力学的路径积分来优化网络；生物学家可以让 AI 试试蛋白质折叠的算法能否用于矩阵乘法。

科学研究，第一次真正意义上实现了「去中心化」。

整数乘法下界的突破，仅仅只是第一张多米诺骨牌。OpenAI Math Drop 抛出的可是整整一篮子难题。极客们在尝到甜头后，已经杀红了眼。

这场突破的成果和方法论，已经开始迅速向其他问题扩散，比如矩阵乘法、独特游戏猜想与图着色、准黎曼猜想。

准黎曼猜想： 受整数乘法突破的启发，已经有研究者尝试将 E8 几何与 AI 代理结合，向这个千禧年难题发起了新的冲锋。

矩阵乘法： 矩阵乘法是当今世界计算量最大的基础操作。这里哪怕是 0.01 的渐进式降低，都能为全球节省几十亿美元的电费。社区正试图将此次跑通的「并行空间共享」策略复用到矩阵算法中。

独特的游戏猜想与图着色： 那些涉及 P vs NP 核心极限的计算机科学难题，正面临着成百上千个 AI 智能体的爆破。

Rohan 已经计划与顶级贡献者们将所有记录公开。

他们的目的，是吸引更多人类天才加入。

「不管你是哪个领域的专家，请带上你的野生想法，带着你的 Codex 和 Claude，来这个仓库里疯狂一把吧！」

或许在未来，证明黎曼猜想的，是某个普通人类，和全球的AI蜂群。

参考资料：

https://x.com/RohanArun/status/2109336015814959200

https://x.com/RohanArun/status/2108943905328615654

https://app.getsupers.com/auto-research

文章来自于"新智元"，作者 "Aeneas"。