OpenAI's Astra model solves 10 long-open math problems for under $2,000
OpenAI's internal Astra model solved 10 significant advances in mathematics and theoretical computer science, including high-dimensional sphere packing and non-sofic groups, for about $2,000 at Sol API prices. Proofs are formalized in Lean 4 and published on GitHub with a 249-page manuscript.
How this story unfolded
1 day · 1 report · 4 community posts · from Aug 3
Science by email
Get an email when there's news on Science
No news that day, no email.
More stories today
- Lyte closes $165M round at $1.6B valuation
- Meta settlement could clear way for new AI product launches
- Z.ai opens first Tmall store for AI subscriptions
- Fable 5.1 Max users share setup tips and warnings
- Opinion: Next DSM should assess algorithms' role in eating disorders