AI models solve 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 problem. 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
- Coding agents: toy apps deployed without evaluating trade-offs
- Salesforce reveals next AI battleground: not models
- GPT-Astra 'mozaik-alpha-fdm' frontend impresses in first look
- Developer reflects on genAI's unpredictability after years of use
- Swarm robotics: centralized vs decentralized power architectures