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.