Precisely what breakthroughs have been made by AI in the field of mathematics, and by what means, will probably take scholars years to work out; many of the papers run to over 100 pages Illustration: Carl Godfrey