An OpenAI model has disproved a central conjecture in discrete geometry
OpenAI says a general-purpose reasoning model produced a counterexample that disproves a long-standing conjecture related to Erdős's unit-distance problem, a question many mathematicians had attacked without success.