"An OpenAI reasoning model generated a new counterexample disproving the longstanding Erdős unit-distance conjecture."
OpenAI describes the model’s construction and the external verification by mathematicians. It supplies the original research announcement paired with the independent mathematical exposition.
View Source