The Reinhardt Conjecture as an Optimal Control Problem - Thomas Hales (2017)