An OpenAI model has disproved a central conjecture in discrete geometry
OpenAI News / May 20, 2026
- AI-generated proof disproves Erdős' unit-distance conjecture
- Construction yields n^{1+δ} unit distances (δ≈0.014 refined)
- Uses algebraic number theory (class field towers, Golod–Shafarevich)