An OpenAI model disproved an 80-year-old math conjecture — a new kind of milestone
OpenAI says one of its reasoning models overturned the planar unit-distance conjecture, open since Erdős posed it in 1946, finding an infinite family of constructions that beat the assumed answer — externally verified. AI just crossed from solving known problems to disproving believed ones.
May 25, 20263 min read
