AN OPENAI MODEL HAS DISPROVED A CENTRAL CONJECTURE IN DISCRETE GEOMETRY

Summary from the TLDR Dev newsletter

An OpenAI reasoning model has disproved the planar unit distance problem, a central conjecture in discrete geometry first proposed by Paul Erdős in 1946. This breakthrough marks the first time an autonomous system has solved a prominent open mathematical problem.