A few months ago, AI made headlines for cracking a mathematical puzzle that had stumped experts for decades. Mathematician ...