OpenAI's Astra model solves 10 open math problems
OpenAI's unreleased Astra model solved 10 open math problems for under $2,000, including a sphere-packing bound stuck since 1978 and the first explicit construction of a non-sofic group. Each result ships with a Lean 4 certificate on GitHub.
Featured · Sébastien Bubeck
How this story unfolded
4 weeks · 2 reports · 17 community posts · from Aug 1
- Aug 1
- Aug 2
- Aug 4
- Aug 6
- Aug 7
- Aug 11
- Aug 28
- Aug 29
- Aug 30
AI Models by email
Get an email when there's news on AI Models
No news that day, no email.
More stories today
- OpenAI experiments with outcome-based pricing, charging only when AI succeeds
- Blue Voice raises $6M for AI legal guidance for police
- Ethan Mollick: AI writing's 'golden age' is over
- Blog argues writing is the safest job from AI
- Hugging Face CEO recommends Reachy Mini robot