OpenAI has said that one of its unreleased AI reasoning models has solved a long-standing mathematics problem first proposed ...