OpenAI claims one of its newest AI reasoning models has solved a maths problem that has remained unsolved since 1946. The ...