Has an AI discovered new maths?