OpenAI model breaks 80-year-old Erdős conjecture in discrete geometry
An OpenAI model has disproved Paul Erdős's 1946 unit-distance conjecture, marking the first autonomous AI resolution of a problem central to an active math subfield, researchers say.