An internal OpenAI model disproved Erdős’s planar unit distance conjecture, contradicting decades of belief that square grids were optimal — and it came from a general-purpose model, not a mathematical one. A mathematician described its reasoning trying a vast array of ideas before honing in with what he called original ingenious ideas.
Altman called it a kinda big milestone evoking complicated feelings.