用 slop-search 冲击线性时间乘法,多智能体研究再刷 kappa 纪录

iskander · x · 2026-10-14

RohanArun 汇报其自动化研究项目的进展:针对整数乘法上界问题(目标逼近线性时间乘法),条件 kappa 已达 0.001672267698427438,每几分钟刷新一次新纪录。"墙"仍限制 kappa 的提升空间,因此他同时在测试全新设计,并有一批新贡献者在不同研究track上并行工作。他正在实验跨 agent 的"共享上下文":通过定期将 session 上下文蒸馏并 fork 成新的合并上下文,比发布到 /auto-research 更实时、更本地化,初步看能提升进展速率。iskander 评论调侃这是 "slop-search 通往线性时间乘法"。相关 PR(#1056)已合并到 CrocSwap/integer-mult-bounds 仓库,包含完整的复现命令与验证说明。