四百年前克卜勒無法證明的猜想，如今電腦驗證為真

「如何在有限的空間堆放最多的球型物體？」德國天文學家克卜勒（Johannes Kepler）在 1611 年提出沒有任何一種堆疊方式比面心立方與六方最密堆積還要來得緊密，這兩種方式就如同現今市場中常見的堆水果法，上下層交錯排列，最後會堆成一座金字塔。雖然克卜勒提出解答，卻無法證明它，而他的答案也就成為後來有名的克卜勒猜想（Kepler conjecture），四百年來數學家前仆後繼想要解開，如今藉由一台電腦的幫忙，這道百年猜想終於被證實是真的。

本篇文章將帶你了解 :