OpenAI's unreleased Astra model solves ten major open math problems
OpenAI reports that an internal version of its next model, Astra, solved ten major open mathematics problems, including new sphere-packing bounds and a disproof of Connes's rigidity conjecture. The solutions cost roughly $2,000 in tokens at Sol API rates and were formalized in Lean certificates.
1 source
Daily brief
Get tomorrow's AI brief in your inbox
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