Scientists Deliver Formal Proof of Famous Kepler Conjecture
An international team of mathematicians led by University of Pittsburgh Professor Thomas Hales has delivered a formal proof of the Kepler conjecture, a famous problem in discrete geometry. The team’s…