OpenAI's Project Astra

Generative AI 101 · Aug 12, 2026 · 11m

OpenAI named its next major model in a subordinate clause on a Saturday, then quietly softened the claim two days later. Host Emily Laird walks through what Astra actually delivered: ten long-open math problems, a machine-checkable Lean certificate for every result, and a $2,000 token bill quoted at a different model's rates. Within about a day, a mathematician at Anthropic reproduced half of them using a model already sitting on a public price list, which raises the real question of whether the advance was the model or the problem selection. The takeaway for your organization is less…