OpenAI Model Produces Proof That Challenges Erdős Unit‑Distance Conjecture
The model-generated argument, now posted by OpenAI with external verification, shows point configurations grow faster than previously believed and raises questions about how AI will shape research.
