The Squares Project 平方打包图谱：324 个案例中 77 个已证最优，n=12 获完整证明

The Squares Project 发布《The Atlas of Square Packings》，收录单位正方形装入最小正方形的最佳已知方案及已验证下界。324 个案例中，77 个已证明最优，247 个仍开放；n=12 的边长 4 最优打包已获社区完整证明与形式化。图谱以颜色标注倾斜角度，以明暗表示完整边接触数量。