OpenAI's Astra model solves 10 open math problems
OpenAI's unreleased Astra model produced machine-verified proofs for 10 long-standing problems in mathematics and theoretical computer science, at a cost of roughly $2,000 in GPT-5.6 Sol API tokens. The results include solutions to three Erdős problems and a sphere-packing bound unmoved since 1978.
How this story unfolded
4 weeks · 5 reports · 11 community posts · 16 of 17 shown
- Aug 1
- Aug 2
- Aug 4
Who Gets Credit When AI Writes the Proof?mindstudio.ai
OpenAI’s Astra just proved 10 long-standing math and science theorems. The tokens cost $2,000.thenewstack.io
OpenAI's unreleased Astra model solved 10 open math problems for $2,000 and shipped machine-checkable proofs
- Aug 6
- Aug 28
- Aug 29
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