Episode Details
Back to Episodes
OpenAI's Unreleased Astra Cracked Ten Math Problems Nobody Had Moved in a Decade — for About $2,000 in Compute
Season 2026
Episode 138
Published 2 months, 1 week ago
Description
On August 1, OpenAI published ten new results in mathematics and theoretical computer science produced by an internal version of Astra, the model it calls its next major model. Each argument was formalized into a machine-checkable Lean certificate and released publicly. OpenAI says the tokens needed to find all ten would have cost roughly $2,000 at its Sol API rates.
Continue the story on unscarcity.ai: