In May 2026, an AI model solved the unit distance problem, a significant problem posed by mathematician Paul Erdos