AIOpenAI1h ago
OpenAI says an internal general-purpose reasoning model has disproved
OpenAI says an internal general-purpose reasoning model has disproved the Erdős unit distance conjecture, a central problem in discrete geometry posed in 1946
Read the proof(opens in a new window)Read the companion remarks(opens in a new window) — Loading...
Read full articleSource: OpenAI · Opens in new tab