These Mathematicians Are Putting A.I. to the Test