## Mathematicians deliver formal proof of Kepler Conjecture

A team led by mathematician Thomas Hales has delivered a formal proof of the Kepler Conjecture, which is the definitive resolution of a problem that had gone unsolved for more than 300 years. The paper is now available online through Forum of Mathematics, Pi, an open access journal published by Cambridge University Press. This paper not only settles a centuries-old mathematical problem, but is also a major advance in computer verification of complex mathematical proofs.

### Mathematicians deliver formal proof of Kepler Conjecture

A team led by mathematician Thomas Hales has delivered a formal proof of the Kepler Conjecture, which is the definitive resolution of a problem that had gone unsolved for more than 300 years. ...

**Fri 16 Jun 17** from Phys.org

Mathematicians deliver formal proof of Kepler Conjecture, Fri 16 Jun 17 from ScienceDaily

Mathematicians deliver formal proof of Kepler Conjecture, Fri 16 Jun 17 from Eurekalert

### Mathematicians deliver formal proof of Kepler’s conjecture

Kepler published this conjecture in 1611. Now, the human mind and computer algorithms have managed to solve it.

**Mon 19 Jun 17** from ZME Science

- Pages: 1