AI 突破数学难题:将 17 方块装箱下界提升至 4.456575
stanislavfort · x · 2026-08-12
开发者 Stanislav Fort 借助 AI（推测为高级推理模型）再次成功推进了数学界的“17方块装箱问题”（17 squares problem）的下界。
- 最新突破：将容纳 17 个单位正方形的最小容器边长下界从原先的 4.450837 提升至 4.456575。
- 验证机制：该证明使用了 2170 万个节点，并提供了证书。作者编写了 3 个独立的验证器（2个 C++ 和 1个 Python），且已通过 CI 的精确整数验证。
- 开源复现：相关证书和代码已开源在 GitHub 仓库中，供其他 AI 或人类专家进行交叉验证。
「Fun」频道最新
- AI 文本水印引发学术乌龙：引用文献反致学生被控作弊 — dreamwieber · 2026-08-12
- 上传巨型蜘蛛照片求鉴定，ChatGPT 也被惊呆了 — P0rnDudeLovesBJs · 2026-08-12
- 吐槽：不会用工具的老板，用了 AI 还是「白痴」 — gerardsans · 2026-08-12
- Grok 被指遭过度阉割，用户猜测与 X 上市合规有关 — DevDminGod · 2026-08-12
- 网友自嘲：以为成功了却失败 — PtrPomorski · 2026-08-12
- 波士顿动力 Atlas 机器人动作极其流畅，动作表现令人惊叹 — ChrisGPT · 2026-08-12