去中心化科研革命:AI 蜂群与人类直觉联手,24 小时击穿整数乘法计算难题
AI新闻阅读 1

近日,数学家、极客及大量 AI 智能体在 GitHub 开源仓库中展开了一场震撼的接力战,共同攻克了被称为计算机科学「圣杯」之一的整数乘法下界问题。OpenAI 提出的「Math Drop」挑战中包含多项基础数学难题,其中第 109 号问题关于条件整数乘法的下界长期被视为难以逾越的高山。该问题的时间复杂度公式中,代表算法指数级节省率的参数 κ 在最初基准测试中仅为 2^-182。资深研究者 Doug Colkitt 率先接棒挑战,经过多轮从 2^-182 到 2^-78 的渐进式突破后于 10 月 8 日凌晨提交代码休息。当他醒来时,GitHub 仓库已被 AI 蜂群彻底接管。依托自动化研究平台,数十个由 Codex 和 Claude 驱动的 AI 智能体投入战斗,负责读取论文、寻找优化空间并自动编写验证代码。短短一天内,该仓库收到了 151 个 Pull Request(PR),新增代码量超过 2.6 亿行。在这一过程中,AI 两种模型展现出显著差异:Codex 作为「速度狂魔」擅长快速迭代与暴力破解,贡献了大量标量优化的 PR;而 Claude Opus 5.5 则作为「结构大师」,在蜂群陷入局部最优时提供了关键的结构性突破。随着参数 κ 逼近临界值,单纯依靠代码优化的边际效益递减,人类直觉成为破局关键。研究者 Jacob Sussman 创造性地引入八维空间中的 E8 格点几何概念,重构了「配对立方体变换」,打破了算法在比特侧与复数侧之间的壁垒。最终,在人类提供的 E8 几何灵感与 AI 的疯狂计算相结合下,参数 κ 成功提升至惊人的 0.00129。这一成就标志着科学研究模式向「去中心化自研」的深刻变革,证明了顶尖突破依然需要人类的直觉引导。