AIQuanta Magazineabout 2 hours ago
AI Cracks Erdős Problems, Shaking Math World
1 min read
OpenAI's unreleased AI models solved the unit distance problem and three more Erdős problems, marking the first historically significant proofs from AI. Thomas Bloom's erdosproblems.com cataloged nearly 1,000 problems, enabling a community that solved 111 problems between 2024 and August 2025.
Level
Hype check
Tap to vote and see what everyone thinks.
