On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model had come up with a counterexample to Paul Erdős’ “unit distance” problem, making it the first historically significant proof to come from AI. www.quantamagazine.org/why-the-lege...
