Thomas Callister Hales

Thomas Callister Hales (nacido el 4 de junio de 1958) es un matemático estadounidense que trabaja en las áreas de teoría de la representación, geometría discreta y verificación formal. En teoría de la representación es conocido por su trabajo en el programa de Langlands y la prueba del lema fundamental sobre el grupo Sp(4) (muchas de sus ideas fueron incorporadas a la prueba final, debido a Ngô Bảo Châu). En geometría discreta, estableció la conjetura de Kepler sobre la densidad del empaquetamiento de esferas y la conjetura del panal de abeja. En 2014, anunció la finalización del ''Proyecto Flyspeck'', que verificó formalmente la exactitud de su prueba de la conjetura de Kepler. proporcionado por Wikipedia