After months covering the shocking rise of AI mathematics, reporter Matthew Sparkes decided to put a free chatbot to the test - and was shocked at the speed at which it solved an outstanding problem