A revision of the proof of the Kepler conjecture — mentioned by sanxiyn

Sun, 10 Sep 2017 15:02:14 GMT

And a fault was found! The original proof, as published, is incorrect. The error and the fix was published in "A revision of the proof of the Kepler conjecture" (2009). https://arxiv.org/abs/0902.0350 Note that we now actually know there is no more fault, because formalization is complete.

Paper and discussion history. A mention is not an endorsement.

A revision of the proof of the Kepler conjecture · HackerPapers discussions

A revision of the proof of the Kepler conjecture — mentioned by sanxiyn