OpenAI general purpose model had a breakthrough on famous 80 year old Erdos problem. “This marks the first time AI has autonomously solved a prominent open problem central to a field of mathematics”
OpenAI's general-purpose model autonomously solved the planar unit distance problem, a famous 80-year-old Erdős conjecture, discovering new constructions outperforming grid-based solutions.