This post and the linked PDF are by the mathematician Thomas Hales (https://en.wikipedia.org/wiki/Thomas_Callister_Hales), a professor at the University of Pittsburgh who is known for settling the Kepler Conjecture (https://en.wikipedia.org/wiki/Kepler_conjecture) in 2014.
This post and the linked PDF are by the mathematician Thomas Hales (https://en.wikipedia.org/wiki/Thomas_Callister_Hales), a professor at the University of Pittsburgh who is known for settling the Kepler Conjecture (https://en.wikipedia.org/wiki/Kepler_conjecture) in 2014.