Aktualności4 czerwca 2026 OpenAI AI model disproves Erdős conjecture open for 80 years
An internal OpenAI AI model has disproved the Erdős unit distance conjecture — a discrete geometry problem that stumped mathematicians for 80 years. It is the first instance of an AI system autonomously resolving a major open mathematical conjecture.
