Why the Legendary Erdős Problems Are Falling to AI
OpenAI's internal model found a counterexample to Erdős's 1946 'unit distance' problem on May 20 — the first historically significant proof from an AI, and human mathematicians improved on it within weeks. On August 1 the unreleased Astra model added 10 more advances, solving three more Erdős problems.
Featured · Noga Alon
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- VisionDepth3D creates 3D from 2D videos with AI depth mapping
- xAI SDK v1.18.0 adds grok-4.6 and xhigh reasoning_effort
- WhisperKit enables local speech-to-text transcription on macOS
- Autoware accelerates autonomous vehicle deployment with open-source stack
- Perplexity reportedly offered to acquire Google Chrome one year ago