Why the Legendary Erdős Problems Are Falling to AI
OpenAI's internal model produced a counterexample to Erdős's 1946 "unit distance" conjecture, and unreleased model Astra added 10 more advances including three solved Erdős problems by Aug 1. Viral posts credit GPT-5.6 Sol with six more, including problem #793 on 2-primitive sets, open since the 1960s.
Featured · Noga Alon
How this story unfolded
3 weeks · 1 report · 3 community posts · from Jul 14
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- AI detectors face criticism over reliability and impact on trust
- Student uses $3 chip to run Claude Code for automated betting
- MiniMax H3 CLIP swap cuts VRAM from 15.7 GB to 4.5 GB
- Artist's AI-generated 'Found [You?]' footage project blends video and music
- Anthropic's Haiku 4.5 nears 12 months without an update