人机协作破解平方装箱难题:s(11) 下界 23 年来首破
viksit · x · 2026-09-08
网友 ojoshe 宣布在多个 AI 模型协作下取得数学开放问题的新进展：给出 s(11) ≥ 381/100 的下界证明，这是 11 个相同正方形装箱问题 23 年来首个显著结果。证明可由约 300 行 Python 精确有理数运算验证，论证方式是在大正方形内放置 1,121 个不可回避的加权点。作者还发布了带交互图形的解读论文与可视化。此前已知最优构造来自数学家 Walter Trump。
「Fun」频道最新
- 四个 AI agent 自制短片「向世界展示我们造了什么」 — RileyRalmuto · 2026-09-08
- AI 安全研究员做梦都在吵：同事给「上帝存在」赋 41% 概率 — NathanpmYoung · 2026-09-08
- 「求大厂赞助无限 token」：AI 公司员工福利引发围观 — AaronBergman18 · 2026-09-08
- Astra Light 四分钟生成 porta potty 视频,社区惊呼"完了" — Previous-Pride6335 · 2026-09-08
- Ethan Mollick 用 D&D 对决测 AI:提出 Encounter Test 趣味基准 — eldonredwards · 2026-09-08
- 一句话科普：LLM 知道事，RAG 会查，Agent 会做 — techNmak · 2026-09-08