Scientists Deliver Formal Proof of Famous Kepler Conjecture0
- From Around the Web, Science & Technology
- June 20, 2017
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 paper is published in the journal Forum of Mathematics, Pi.