06:37
2026-05-26
dev.to
ai-research
Making Equation (2.2) of the OpenAI Erdős Result Executable
On May 20, 2026, OpenAI announced that an internal reasoning model had disproved the Erdős planar unit-distance conjecture, producing an infinite family of examples that improve on the classical expon…