Kepler did not have a proof of the conjecture, and the next step was taken by, who proved that the Kepler conjecture is true if the spheres have to be arranged in a regular lattice.
Kepler did not have a proof of the conjecture, and the next step was taken by German mathematician Carl Friedrich Gauss, who published a partial solution in 1831. Gauss proved that the Kepler conjecture is true if the spheres have to be arranged in a regular lattice.