A previously unpublished AI model from OpenAI is said to have solved one of the seven Millennium Problems in mathematics—in ...