[seqfan] The Kepler conjecture is no longer 99% certain, it is true.

[Peter Luschny]

A computer-verified formal proof of the Kepler conjecture was announced [1].

"We are pleased to announce the completion of the Flyspeck project,
which has constructed a formal proof of the Kepler conjecture.
The Kepler conjecture asserts that no packing of congruent balls
in Euclidean 3-space has density greater than the face-centered
cubic packing. It is the oldest problem in discrete geometry."

[1] https://code.google.com/p/flyspeck/wiki/AnnouncingCompletion
See also: http://arxiv.org/abs/math/0207256v1

Peter