RecodeX 重构消息,开源社区在GitHub仓库CrocSwap/integer-mult-bounds上发起协作,针对OpenAI Math Drop第109号难题(条件整数乘法下界)展开攻关。研究者Doug Colkitt先将核心参数κ从2^-182推进至2^-34,随后Rohan Arun等人调用数十个由Codex和Claude驱动的AI智能体并行优化。

24小时内仓库涌入151个PR,AI生成超2.6亿行测试与优化代码,其中89个PR标注使用Codex、48个标注使用Claude。开发者Dugongue提交首个突破10^-3的PR,最终κ值升至0.00129。人类研究者Jacob Sussman引入E8格点几何重构配对立方体变换,帮助蜂群跳出局部最优。