托马斯·黑尔斯

托马斯·克里斯特尔·黑尔斯 （英语：Thomas Callister Hales，1958年6月4日—），美国数学家，致力于朗兰兹纲领的研究工作。他在基本引理的研究方面是非常出名的，并且证明了Sp(4)的一种特殊情况。由于吴宝珠，他的许多构想被纳入了最后的证明。他因于1998年使用电脑协助证明开普勒猜想而知名，开普勒猜想是几个世纪以来在离散几何方面的一个古老问题，该猜想说明了在一个锥体形状中最有效利用空间的方法为最密堆积。同时黑尔斯也证明了蜂窝猜想。

托马斯·黑尔斯 Thomas Hales
出生	(1958-06-04) 1958年6月4日（67岁）  美国德克萨斯州圣安东尼奥
国籍	美国
母校	普林斯顿大学
知名于	证明开普勒猜想
奖项	肖维勒奖（英语：Chauvenet Prize）（2003） 大卫·P·罗宾斯奖（英语：David P. Robbins Prize）（2007） 富尔克森奖（2009） 塔斯基讲座（英语：Tarski Lectures）（2019）
网站	sites.google.com/site/thalespitt/
科学生涯
研究领域	数学
机构	匹兹堡大学 密歇根大学
博士导师	罗伯特·朗兰兹
博士生	茱莉亚·戈登（英语：Julia Gordon）

教育背景

他于普林斯顿大学获得博士学位。

数学生涯

黑尔斯原来在密歇根大学任教，现于匹兹堡大学梅隆数学家大学教授任教，在一个证明正在逐渐变得复杂而且计算机正在成为完成验证的必要方式的时代，他主张数学正规化以确保证明严格。黑尔斯当前研究项目的方向，被称为小斑点，他旨在正规化开普勒猜想在计算机理论上的证明HOL光。 ^{[1] [2] [3]}