OpenAI's Astra model solves 10 open math problems
OpenAI's unreleased Astra model produced 10 new results on long-standing open problems in mathematics and theoretical computer science, including the first explicit non-sofic group and a disproof of Connes's rigidity conjecture. The proofs cost under $2,000 at Sol API rates and are released with Lean certificates.
How this story unfolded
4 weeks · 7 reports · 14 community posts · from Aug 1
- Aug 1
- Aug 2
- Aug 3
- Aug 4
- Aug 18
- Aug 26
- Aug 28
OpenAI by email
Get an email when OpenAI has news
No news that day, no email.
More stories today
- Skeptic shares first impressions of ChatGPT Plus
- Hard sci-fi authors largely oppose LLMs, survey finds
- Anthropic tests folderless Claude Code sessions on Desktop and iOS
- Ethan Mollick: Using weaker AI for human-facing content may soon be disrespectful
- Pocket TTS training stack open-sourced