OpenAI says ChatGPT solved a very hard maths problem, but mathematicians are not buying it.