[math-fun] kepler conjecture, flyspeck

Good article in Nature on Kepler conjecture and Flyspeck: *********** Does the proof stack up? Think peer review takes too long? One mathematician has waited four years to have his paper reviewed, only to hear that the exhausted reviewers can't be certain whether his proof his correct. George Szpiro investigates... ************ (PDF) http://www.qxmail.com/mathematics/halesflyspeck.pdf