平方打包图谱:324 个案例中 77 个已证最优,12 方最优解获完整证明
ctjlewis · x · 2026-10-22
The Squares Project 发布「The Atlas of Square Packings」,系统记录 n 个单位正方形装入最小正方形的最佳已知打包方案与经过验证的下界:项目追踪的 324 个案例中,77 个已证明最优,247 个仍然开放。最新进展是 n=12(12 个方块的最优打包,边长 4)由社区成员提供完整证明与部分形式化,其余贡献者协作完成形式化收尾。图谱用颜色标注倾斜角度、明暗表示完整边接触数量,每行数据由案例记录文件自动构建生成。
「Fun」频道最新
- patio11 晒 Opus 被现实「打脸」瞬间：模型拒信自己没见过的真事 — repligate · 2026-10-22
- 宇树创始人登台带货「GPT6 Astra」，现场名场面引围观 — micoolcho · 2026-10-22
- Sentdex 批评 AI 圈过度营销视频：这样做没有赢家，都在损声誉 — Sentdex · 2026-10-22
- Palantir 电子烟梗图:企业地下世界的圣杯 — yungcontent · 2026-10-22
- 网络安全漏洞频发，用户吐槽 Anthropic 仍强制降级到 Opus 4.8 — 0xAllen_ · 2026-10-22
- npm 出现安装与发布故障，theo 发推调侃「要退休进山了」 — theo · 2026-10-22