The AI revolution in maths has arrived

Mathematicians report proving in a day what once took weeks, and running thousands of problems at once.