Quanta: AI models are cracking Erdős problems
OpenAI's unreleased model Astra made 10 mathematical advances, including solving three Erdős problems, after an internal model found a counterexample to the unit distance conjecture in May 2026. Mathematicians call it a phase transition in AI's mathematical capability.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
More stories today
- Claude Code silently deletes local history older than 30 days
- Split sigmas speed up video reference in Stable Diffusion
- MiniMax tool turns anything into realistic human video
- MirroS' Code-as-World rewrites videos into executable MuJoCo programs
- PRAXIST research system boosts MLE-bench scores 44%