堆橙子的最佳方式
1611年开普勒提出:3D球体最密堆积密度 = π/(3√2) ≈ 74%。就是杂货店堆橙子的面心立方堆积。1998年 Thomas Hales 用计算机辅助证明。
Densest sphere packing: π/(3√2)≈74%. Proved by Hales in 1998.证明的复杂性
250页论文+3GB计算机代码,检查数千个特殊情况。2014年 Flyspeck 项目用形式化方法验证了完整证明。
1611年开普勒提出:3D球体最密堆积密度 = π/(3√2) ≈ 74%。就是杂货店堆橙子的面心立方堆积。1998年 Thomas Hales 用计算机辅助证明。
Densest sphere packing: π/(3√2)≈74%. Proved by Hales in 1998.250页论文+3GB计算机代码,检查数千个特殊情况。2014年 Flyspeck 项目用形式化方法验证了完整证明。