"An OpenAI reasoning model generated a new counterexample disproving the longstanding Erdős unit-distance conjecture."
Nine mathematicians present a human-verified and refined exposition of the AI-produced counterexample to the unit-distance conjecture. Their mathematical note establishes that a genuinely novel, checkable result occurred and is the strongest independent source for the geometry claim.
View Source