OpenAI says its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major breakthrough in AI-powered research and reasoning.