conjecture

OpenAI claims its general-purpose reasoning model discovered a counterexample to the conjectured upper bound in Erdős's planar unit-distance problem, producing a proof reviewed by mathematicians.