AI 驱动方格装箱研究爆发:53 格最优装箱刷新,11 格问题获最优性证明
ctjlewis · x · 2026-10-07
The Squares Project 由 Joshua Levy 于 2026 年 8 月发起，展示方格装箱问题在 AI 辅助研究下的进展：获得 n=11、17-20 等低值的新下界；Kleddamag 得到 31/8 的认证下界；Queuingtheorydotcom 证明了著名的 11 方格情形的最优性；Evan Daniel 证明了整族 s(k²−3)=k（k≥6）的最优性及 21、32、45 的精确值。项目用 AI 辅助验证证明与证书，并提供浏览器查看当前最优装箱（如 53 方格）。
所属事件:11 方块装箱最优性获 AI 协作证明并形式化验证(6 条相关)→
「研究」频道最新
- LLM2Vec-Gen:冻结 LLM 单次前向生成答案嵌入,登上 COLM 2026 — sivareddyg · 2026-10-07
- 研究揭示混合架构 LLM 几乎只用注意力,辅助训练可逼出循环记忆价值 — mohitban47 · 2026-10-07
- 研究者提出 World Editing:不生成新世界而是编辑已有世界 — yuntiandeng · 2026-10-07
- 新研究追问：Agent 替你行动时，它到底站在谁那边 — ZacharyHuang12 · 2026-10-07
- RL 研究年度 Top 10 榜单出炉，Spurious Rewards 居首 — ShayneRedford · 2026-10-07
- SciConBench 团队:每两月跑一轮评测,寻找资金维持公开榜单 — manoelribeiro · 2026-10-07