TLDR Tech / Dev
An OpenAI model has disproved a central conjecture in discrete geometry
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.
Read the full story