OpenAI's unreleased Astra model solves 10 open math problems
An internal version of OpenAI's next major model, Astra, produced 10 new results on long-standing open problems in mathematics and theoretical computer science, costing roughly $2,000 at Sol API rates. Each proof was formalized in a Lean certificate and released on GitHub.
How this story unfolded
4 weeks · 5 reports · 10 community posts · 15 of 17 shown
- Aug 2
- Aug 3
- Aug 4
- Aug 6
- Aug 28
- Aug 30
OpenAI by email
Get an email when OpenAI has news
No news that day, no email.
More stories today
- Empirik launches with $21M to predict IT outages
- Musk: AI to boost global economy 20-30%
- Atos upskills 400 engineers in agentic AI with AWS
- Top AI open source projects shut off PRs, use own agents
- AWS details securing Amazon Quick from POC to production