The purpose of the flyspeck project is to formalize the proof of the Kepler Conjecture.
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
posted by thales at 1:27 PM
|
14 comments
The slides from Hales's Park City presentation on the flyspeck project have been posted on the internet.
posted by thales at 8:01 PM
|
92 comments
There is now a google group for the flyspeck project. It is set up with public archives, but only members can post, and members must be approved before joining. If I have set things up correctly, new contributions to this blog should be automatically distributed to the flyspeck google group.
posted by thales at 6:37 PM
|
52 comments
I returned today from the TPHOL-2004 conference in Park City. People were interested in setting up a site where we can share thoughts about the flyspeck project. Here it is!
posted by thales at 11:35 PM
|
4 comments
