May 20, 2026
OpenAI reports that an internal model disproves the conjectured bound for the planar unit-distance problem, using a new family of constructions. It publishes the proof and external mathematicians’ companion commentary.
A research-level mathematical result, distinct from performance on contest or benchmark problems. The company reports that external mathematicians checked the proof.