Ep. 138
04:03
OpenAI's Unreleased Astra Cracked Ten Math Problems Nobody Had Moved in a Decade — for About $2,000 in Compute
About This Episode
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.
Our Take
OpenAI just put a receipt on frontier research — about $2,000 for ten problems the field hadn't moved in a decade, with machine-checkable proofs attached — so the question stops being whether the machine is smarter than the expert and becomes whether it is cheaper and checkable, which is the same test that has already been applied further down the ladder.