In January 2015 Hales and 21 collaborators submitted a paper titled "A formal proof of the Kepler conjecture" to arXiv, claiming to have proved the conjecture.
Im Januar 2015 reichten Hales und 21 Co-Autoren ein Paper mit dem Titel "A formal proof of the Kepler conjecture" bei arXiv ein, und beanspruchten die Vermutung bewiesen zu haben.