Person
Thomas Hales
A mathematician who led the Flyspeck project, which produced a complete formal verification of the Kepler conjecture concerning the densest packing of spheres.
Timeline (last 90 days)
Sep 11
Thomas Hales' team completed the formal verification of the Kepler conjecture (the Flyspeck project) in 2017.
Unverified50%
Sep 7
The formalization of the Kepler conjecture (the Flyspeck project) was completed in 2014 by Thomas Hales' team using HOL Light and Isabelle, taking approximately 20 person-years
Unverified50%
All Facts (2)
Unverified
Thomas Hales' team completed the formal verification of the Kepler conjecture (the Flyspeck project) in 2017.
50%UnverifiedThe formalization of the Kepler conjecture (the Flyspeck project) was completed in 2014 by Thomas Hales' team using HOL Light and Isabelle, taking approximately 20 person-years
50%