三七二十一
LUCKY !

堆橙子的最佳方式

1611年开普勒提出:3D球体最密堆积密度 = π/(3√2) ≈ 74%。就是杂货店堆橙子的面心立方堆积。1998年 Thomas Hales 用计算机辅助证明。

Densest sphere packing: π/(3√2)≈74%. Proved by Hales in 1998.

证明的复杂性

250页论文+3GB计算机代码,检查数千个特殊情况。2014年 Flyspeck 项目用形式化方法验证了完整证明。

返回