Il Nuovo Postiglione - AI challenges maths by solving the unsolvable