An OpenAI model produces an expert-checked counterexample in discrete geometry
OpenAI published a proof from an internal general-purpose reasoning model that disproves the longstanding square-grid conjecture for the planar unit-distance problem. External mathematicians checked the proof and produced companion remarks explaining the use of algebraic number theory.
Why it matters: This is stronger evidence of research contribution than another benchmark score: the output is a novel, inspectable mathematical result that experts can verify.