AI models are solving legendary Erdős problems

OpenAI's unreleased model Astra made 10 mathematical advances, including solving three Erdős problems, following an earlier counterexample to the unit distance conjecture. 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
- DeepMind panel discusses generative media SOTA and human eval
- Reddit users share useful MCP servers for Claude
- Why embodied AI hits an edge AI wall requiring new math
- HTMX CEO mandates 'No AI Fridays' to counter LLM cognitive debt
- OpenAI product lead Tara Seshan discusses persistent AI coworkers