内容摘要
钩子：水果店堆橙子的姿势，开普勒 1611 写进圣诞小册子并断言最密——数学界查了 396 年账，Hales 1998 证明 300 页+3GB 数据、2005 发表、2017 Flyspeck 形式化盖棺。附堆垛密度台（sq 52.36%/523.6 对齐档；fcc 74.05%/740.5 开普勒档；rand 64.0%/640 乱堆档）+ 三题（每升多装约 217 个/乱堆封顶 64/计算机证明）。π/√18≈74.05%。
钩子：水果店堆橙子的姿势，开普勒 1611 写进圣诞小册子并断言最密——数学界查了 396 年账，Hales 1998 证明 300 页+3GB 数据、2005 发表、2017 Flyspeck 形式化盖棺。附堆垛密度台（sq 52.36%/523.6 对齐档；fcc 74.05%/740.5 开普勒档；rand 64.0%/640 乱堆档）+ 三题（每升多装约 217 个/乱堆封顶 64/计算机证明）。π/√18≈74.05%。