OpenAI says its latest AI model has solved a mathematical problem that has been unsolved for 80 years. Here is what this ...