The purpose of the flyspeck project is to formalize the proof of the Kepler Conjecture.

Wednesday, April 06, 2005


To learn about the Flyspeck Project (the formal proof of Kepler's sphere packing problem), start with the Flyspeck Project Fact Sheet.

To learn more about Gonthier's proof of the Four-Color Theorem with comments on the flyspeck project, see Mackenzie's What in the Name of Euclid and the Economist's Proof and Beauty