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, at a total cost of 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 · 3 reports · 8 community posts · from Aug 2
- Aug 2
- Aug 3
- Aug 4
- Aug 30
OpenAI by email
Get an email when OpenAI has news
No news that day, no email.
More stories today
- Security researcher changes mind on AI guardrails
- Forescout uses Claude AI to port PLC exploit in hours
- Weaviate shows how to extract meaning from charts and tables in PDFs
- Alok launches AI-powered personalized music video campaign for WAAW headphones
- X launches MCP server for advertiser tools