When presenting the progress of his project in 1996, Hales said that the end was in sight, but it might take "a year or two" to complete.
Iskanje spodnjih mej za vse primere je obsegalo približno 100.000 problemov linearnega programiranja.