OpenAI model disproves Erdős unit distance conjecture
An internal general-purpose reasoning model disproved it, and external mathematicians checked the proof.
It marks the first time that a prominent open problem, central to a subfield of mathematics, has been solved autonomously by AI.
Official source
An OpenAI model has disproved a central conjecture in discrete geometryopenai.com · published