OpenAI’s General-Purpose Model Disproves an 80-Year Geometry Conjecture
OpenAI's general-purpose reasoning model disproved a decades-old conjecture tied to the Erdős unit distance problem, with nine mathematicians translating its output into a formal proof. The result reframes how frontier models should be evaluated — and where humans still hold the edge.
May 25, 20263 min read
