Томас Каллистер Хейлз

• Томас Каллистер Хейлз — американский математик, работающий в области теории представлений, дискретной геометрии и формальной верификации. 
• Он известен своей работой над программой Лэнглендса и доказательством фундаментальной леммы над группой Sp (4). 
• Хейлз обосновал гипотезу Кеплера о плотности упаковки сфер и гипотезу о сотах. 
• В 2014 году он объявил о завершении проекта Flyspeck, который формально подтвердил правильность его доказательства гипотезы Кеплера. 
• Хейлз получил степень доктора философии и преподавал в различных университетах. 
• Он представил свою статью о компьютерном доказательстве гипотезы Кеплера и доказал гипотезу о пчелиных сотах. 
• Хейлз инициировал проект Formal Abstracts, целью которого является предоставление формализованного изложения основных результатов каждой математической исследовательской работы на языке интерактивного средства доказательства теорем.