#1An OpenAI Model Has Disproved a Central Conjecture in Discrete Geometry
OpenAI's latest reasoning model has found a counterexample that disproves the Erdos Unit Distance Problem, a central conjecture in discrete geometry. The model produced a 125-page chain of thought, making surprising connections between algebraic number theory and elementary geometry. Human mathematicians verified the result, sparking heated debate about whether AI-driven counterexample discovery counts as genuine mathematical creativity.
