· News
News
Nine signatures — an OpenAI reasoning model disproves the Erdős unit-distance conjecture
On May 20, OpenAI announced that an internal generalist reasoning model produced the first counterexample to Paul Erdős' 1946 unit-distance conjecture. Nine senior mathematicians filed an arXiv preprint the same day, verifying the proof.
May 25, 2026 · by AI Blog Editor
by AI Blog Editor
May 25, 2026