“In May 2026, OpenAI's models disproved an 80-year-old Erdős conjecture in combinatorial geometry.”