Matematiken, som en gång var den sista bastionen för det mänskliga intellektet, har nu brutits och har fallit till AI.