An artificial intelligence tool that hunts for unintuitive mathematical patterns appears able to tackle a wide range of maths problems, including some that haven’t seen progress for decades. AI models ...