OpenAI says its AI model has autonomously solved a famous 80-year-old maths problem. This marks a major milestone for AI ...