An OpenAI model refutes a conjecture in discrete geometry that has remained open since 1946

An internal OpenAI model refuted Paul Erdős's 1946 unit distance conjecture, a math breakthrough verified by Tim Gowers and refined by Will Sawin.