OpenAI's Astra model solves 10 open math problems
An internal version of OpenAI's next model family, Astra, solved 10 open problems in math and theoretical CS, including the first explicit construction of a non-sofic group (open since 1999), at a total inference cost under $2,000. Each result ships with a Lean 4 certificate on GitHub.
Featured · Sébastien Bubeck
How this story unfolded
4 weeks · 1 report · 19 community posts · from Aug 1
- Aug 1
- Aug 2
- Aug 4
- Aug 6
- Aug 7
- Aug 17
- 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 resets Codex usage limits again, boosting allowances 10-50%
- House Intelligence Committee warns of 'Black Swan' AI risks
- Skild AI unveils S1 flagship robot foundation model
- Rauch: coding tokens are infrastructure, not to be handed out like AWS keys
- How better grippers can unlock physical AI