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 (OpenAI)
TechMeme
•
Generative AI
OpenAI: OpenAI says an internal general-purpose reasoning model has disproved the Erd&odblacs 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) -