OpenAI's AI model solved the famous unit distance problem, a question that had challenged mathematicians since 1946 ...