OpenAI's unreleased Astra model solves 10 open math problems for $2,000
OpenAI's internal Astra model 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, with a 249-page manuscript and proofs on GitHub.
How this story unfolded
4 weeks · 4 reports · 9 community posts · from Aug 2
- Aug 2
- Aug 3
- Aug 4
- Aug 30
- Aug 31
OpenAI by email
Get an email when OpenAI has news
No news that day, no email.
More stories today
- Claude Code 2.1.258 fixes macOS 12 launch regression
- AfterQuery reportedly becomes Y Combinator's fastest-ever unicorn at $3.2B
- Ethan Mollick: agents now capable of long-running self-organized work
- FDA builds AI-ready data foundation on Databricks for Government
- AWS and Amazon MGM Studios launch gen AI film fund