OpenAI, Erdős, And The New Wave Of AI-Solved Math Problems
On May 20, 2026, OpenAI announced that a reasoning model had disproved an 80-year-old conjecture in discrete geometry.
Paul Erdős posed the unit-distance problem in 1946.
Since that day, the run of AI solving open math problems has not let up.
OpenAI's phrase for the result: "the
