整数乘法算法逼近 κ≈7e-4 之墙,数十 AI 智能体并行协作攻关
ChrSzegedy · x · 2026-10-10
RohanArun 发起的 integer-mult-bounds 社区项目持续刷新整数乘法复杂度界,κ 已从 2⁻¹⁸² 推进到 6.830613e-4,目前逼近一堵「墙」:最优算法由 bit 部分和 complex 部分(Fourier 变换式工作)组成,κ 由得分较低者决定。complex 部分自 PR193 起停滞在 7.009e-4,而 bit 部分经「bank 打包、寄存器复用」等优化已逼近至相差 0.8%,再往上推也无法提升 κ——瓶颈在 complex 部分,已有提出条件性方案但未解决。
作者还分享了同时跑 Codex 与 Claude 数十个并行智能体的观察:Codex Astra high 提交进展最快,Claude Opus 5.5 提交了当前纪录但在进展放缓时才跟得上,而真正的突破性洞见仍主要来自人类专家的「播种」。仓库目前有 178 个开放 PR,含 Lean 形式化验证等贡献。
所属事件:社区用 AI 智能体并行协作，整数乘法复杂度纪录持续刷新(4 条相关)→
「编程与Agent」频道最新
- 多智能体框架 Swarms 发布官方 Docker 镜像,一条命令即可部署 — KyeGomezB · 2026-10-10
- 给 Grok Bot 加两层记忆:聊天记忆 + 常驻虚拟机上的 Hermes agent — alexcovo_eth · 2026-10-10
- Aiden Bai：模型评测工具链拉胯，每家公司 posttrain 前先补好 eval — aidenybai · 2026-10-10
- 开源 Cloudroom 一个 prompt 派生 110 个云子 agent，57 秒完成 — ramagetime · 2026-10-10
- 独立开发者用 ThreeJS 造浏览器版 GT 赛车模拟，悬架按 IMSA 规则调校 — AIandDesign · 2026-10-10
- 多智能体系统 105 小时自动调优,Qwen3.5 推理提速 175 倍超 SGLang — bariskasikci · 2026-10-10