OpenAI 问题 #109 整数乘法界再收紧：κ>2⁻¹⁶，较原结果提升 2¹⁶⁶ 倍
basedjensen · x · 2026-10-08
- 独立研究者持续推进对 OpenAI 整数乘法问题 #109 的下界改进：第五次更新将常数 κ 从先前的 2⁻¹⁸² 收紧到 κ > 2⁻¹⁶。
- 精确 witness 为 1.548×10⁻⁵，比上一轮的 1.197×10⁻⁵ 提升约 1.3 倍，较第三轮提升约 3.7 倍，较 OpenAI 原始结果累计提升 2¹⁶⁶ 倍。
- 证明基于自建的 interchange network，装配与 moment 证书已通过 Lean 内核校验，可验证性有保障。
所属事件:OpenAI 整数乘法问题下界多轮狂飙至 κ>2⁻¹⁶(10 条相关)→
「研究」频道最新
- DAIR.AI 整理 31 篇递归自我改进论文，从 Schmidhuber 到最新技术 — omarsar0 · 2026-10-08
- Vector 团队用 3DSPA 作奖励信号,让视频模型不再违反物理规则 — VectorInst · 2026-10-08
- Vector 研究院介绍 3DSPA：用 3D 语义点自编码器度量视频物理真实性 — VectorInst · 2026-10-08
- 3DSPA 用作强化学习奖励信号：生成视频里重力恢复正常、物体不再穿透 — VectorInst · 2026-10-08
- 认知科学家 Kelsey Allen：人类心理模拟暴露当前 AI 系统的物理推理短板 — VectorInst · 2026-10-08
- Vector 峰会：认知科学如何帮助构建更好的 AI — VectorInst · 2026-10-08