The race is on to develop an artificial intelligence that can do pure mathematics, and top mathematicians just threw down the ...