#discrete-geometry

AI & Machine LearningMay 24, 202612 min

OpenAI's AI Disproved an 80-Year Erdős Conjecture (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.