κ 再破墙:整数乘法上界推至 7.086e-4,组合旧想法刷新纪录
cephaloform · x · 2026-10-10
@RohanArun 在 GitHub 上的 integer-mult-bounds 开源协作项目提交了 PR #237,将整数乘法复杂度的条件常数 κ 上界从 0.000703701743496697 推进到 0.000708582410781108(提升 0.694%,较 #230 提升 1.99%)。这次的做法是组合此前被忽视的想法:在 #234 的五阶段 bit supplier 基础上,将 2,279 个独立入口的残差通过 exact chart 路由进宽度 m=120 的完整 bank(completed-bank 构造),完整本地验证已通过。这是该众包式数学项目「破墙」的最新一步,展示了大规模分布式证明协作推进经典数学问题上界的模式。
所属事件:社区用 AI 智能体并行协作,整数乘法复杂度纪录持续刷新(4 条相关)→
「研究」频道最新
- 学者自建 ICLR 2027 录用预测市场,用虚拟货币押注论文命运 — prof_kamilov · 2026-10-10
- Surge AI 发布 sudo L7 基准:60 个真实任务测编码 Agent 的资深工程师判断力 — rmcwhorter99 · 2026-10-10
- 作者上线实时直播:展示 AI 智能体搜寻新行星时使用的图像 — BLUECOW009 · 2026-10-10
- 数学家 Jeremy Avigad 演讲:AI 时代数学的未来走向 — ChengleiSi · 2026-10-10
- Tetris RL 实验一周卡关:pretraining 决定 RL 上限,shape rewards 始终更优 — shizhediao · 2026-10-10
- 不同数据训练的模型收敛出相似概念几何,可否据此对齐? — cephaloform · 2026-10-10