OpenAI says its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major ...