This year has left mathematicians reeling as AI models are increasingly solving seemingly intractable maths problems. Terence ...