Tao has made huge progress on the Collatz conjecture, a simple-seeming puzzle that has bedeviled hapless mathematicians for decades.