ミシガン大学に在籍していたトマス・ヘイルズは、ラースロー・フェイェシュ＝トートが提案したアプローチにならい、150個の変数を持つある関数を最小化することによって最大密度配置を見出せると考えた。
托马斯·黑尔斯决定根据费耶斯‧托特在1953年提出的思路来证明此猜想，他认为可透过一个有着150个变数的方程式的最小值，来找出任何可能装球排法的最大密度。