Ars TechnicaAI cracks 80-year-old math puzzle with no human guidanceAn OpenAI model autonomously solved the Erdős unit distance conjecture, a geometry puzzle mathematicians battled for decades. The breakthrough signals AI’s growing role in pure mathematics.Jun 1, 2026