OpenAI stealth-announces Astra, next major AI model, buried in math blog post; Astra solves 10 long-open math problems with machine-checkable proofs

OpenAI quietly revealed Astra, its next major model, in a blog post about math. The naming shift (Sol→Luna→Terra→Astra) suggests a new tier. Astra is not the model that escaped during the Hugging Face incident, but the timing and Altman's D.C. demos signal strategic positioning. Today, Astra solved 10 long-open math problems with machine-checkable proofs at $2k compute cost, a concrete milestone validating Altman's 'genie' framing and raising questions about scientific integrity and AI safety review. A standalone article now confirms these math wins, reinforcing the strategic narrative.