平方打包图谱发布，77例已证最优
热点事件持续更新
平方打包图谱发布，77例已证最优
1 篇报道1 个报道来源8 小时前更新
先了解这件事
AI 综述
The Squares Project 发布《The Atlas of Square Packings》，收录单位正方形装入最小正方形的最佳已知方案及经验证的下界；其中324个案例有77个已证明最优，247个仍属开放问题。 图谱以倾斜角度和接触数量区分方案，并为n=12边长4的最优打包提供完整社区证明及形式化验证。
AI 根据报道生成 · 1 小时前更新
最新进展10月22日 10:37
The Squares Project 平方打包图谱：324 个案例中 77 个已证最优，n=12 获完整证明报道时间线
沿着报道，了解事件的不同侧面。
10月22日
- AGI HuntThe Squares Project 平方打包图谱：324 个案例中 77 个已证最优，n=12 获完整证明
The Squares Project 发布《The Atlas of Square Packings》，收录单位正方形装入最小正方形的最佳已知方案及已验证下界。324 个案例中，77 个已证明最优，247 个仍开放；n=12 的边长 4 最优打包已获社区完整证明与形式化。图谱以颜色标注倾斜角度，以明暗表示完整边接触数量。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。