托馬斯·黑爾斯

Infobox scientist | name = 托馬斯 · 黑爾斯Thomas Hales | image = Halescropped.jpg | caption = | birth_date = | birth_place = 德克薩斯州聖安東尼奧 | death_date = | death_place = | nationality = | alma_mater = 普林斯頓大學 | known_for = 證明克卜勒猜想 | awards = （ 2003 ） （ 2007 ） 富爾克森獎 （ 2009 ） （ 2019 ） | website = 托馬斯 · 克里斯特爾 · 黑爾斯  ， 美國數學家 ， 致力於朗蘭茲綱領的研究工作 。 他在基本引理的研究方面是非常出名的 ， 並且證明了Sp ( 4 ) 的一種特殊情況 。 由於吳寶珠 ， 他的許多構想被納入了最後的證明 。 他因於1998年使用電腦協助證明克卜勒猜想而知名 ， 開普勒猜想是幾個世紀以來在離散幾何方面的一個古老問題 ， 該猜想說明了在一個錐體形狀中最有效利用空間的方法爲最密堆積 。 同時黑爾斯也證明了蜂窩猜想 。