Latest / Minds, Bodies, and Terawatts
OpenAI's Unreleased Astra Cracked Ten Math Problems Nobody Had Moved in a Decade — for About $2,000 in Compute
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:
The AI Talent Paradox: When Genius Is the Last Scarcity
The Substitution Threshold: When You Stop Being the Cheapest Option
Full episode notes on unscarcity.ai
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.