OpenAI's AI Disproved an 80-Year Erdős Conjecture (2026)
May 24, 2026
OpenAI says its AI disproved Erdős's 80-year-old unit distance conjecture — and calls it the first major open math problem solved autonomously by an AI.
OpenAI says its AI disproved Erdős's 80-year-old unit distance conjecture — and calls it the first major open math problem solved autonomously by an AI.