托马斯·克里斯特尔·黑尔斯 （，托马他主张数学正规化以确保证明严格。斯黑黑尔斯当前研究项目的托马方向，并且证明了Sp(4)的斯黑一种特殊情况。 教育背景 他于普林斯顿大学获得博士学位。托马他的斯黑许多构想被纳入了最后的证明。他旨在正规化开普勒猜想在计算机理论上的托马证明HOL光。致力于朗兰兹纲领的斯黑研究工作。），托马开普勒猜想是几个世纪以来在离散几何方面的一个古老问题，在一个证明正在逐渐变得复杂而且计算机正在成为完成验证的必要方式的时代， 参考资料 外部链接 美国数学家 密歇根大學教師 普林斯顿大学校友 美國科學家 富尔克森奖得主他在基本引理的研究方面是非常出名的，他因于1998年使用電腦協助證明克卜勒猜想而知名，被称为小斑点，
