A.I. is solving problems that stumped the field for decades. Mathematicians look to Terence Tao for guidance on their altered world.