ScienceOpenAI Model Solves 80-Year-Old Mathematics ConjectureAn internal OpenAI reasoning model has autonomously solved the planar unit distance problem, a decades-old challenge posed by Paul Erdős.May 23, 2026