ModelsLead story
OpenAI model disproves Erdős unit distance conjecture after 80 years
An internal OpenAI system produced the first proof resolving a major open conjecture in discrete geometry, drawing praise from Fields Medalist Tim Gowers.
Jaeden SchaferEditor in Chief5 min read