An OpenAI AI model has solved a 50-year-old unsolved mathematical problem. Ethan Knight, a researcher at the company, ...