AI & Machine Learning12 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.
Tag
1 post
AI & Machine Learning12 min
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.