{"slug": "openai-smuggled-the-announcement-of-astra-its-next-ai-model-into-a-blog-post", "title": "OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math", "summary": "OpenAI announced its next major AI model, Astra, in a blog post about mathematics, revealing that the math results were achieved by an internal version of Astra. The model, which follows GPT-5.6 Sol, is reported by The Information to have 'long-running' capabilities and was demoed to federal officials in Washington, D.C. by CEO Sam Altman. OpenAI has not confirmed the official name or clarified Astra's relationship to an unreleased model involved in a July 21 security incident.", "body_md": "OpenAI announced its next major AI model Saturday, and it did so in the third paragraph of a [blog post called](https://openai.com/index/ten-advances-in-mathematics/) “Ten advances in mathematics and theoretical computer science.”\n\nThe math results the post is touting, OpenAI writes, “were achieved by an internal version of Astra, our next major model.” So there you go. It sounds like after GPT-5.6 Sol comes either GPT-5.6 Astra, or GPT-6 Astra, or—who knows?—just “Astra” and the whole GPT part gets scrapped? It’s not spelled out.\n\nOpenAI’s naming conventions suggest that this would be another GPT-5.6 release. There’s a GPT-5.6 Terra, which, as corny Latin-knowers are well aware, means “earth,” Luna which is Latin for “moon,” and Sol, which is Latin for “sun.” Astra means “the stars.”\n\nAccording to an anonymously sourced story in [the Information](https://www.theinformation.com/briefings/exclusive-openai-previews-astra-ai-model-dc), Astra boasts the ability to do “long-running” work. CEO Sam Altman was, the report claims, in Washington, D.C. over the past week, demoing the model to federal officials.\n\nGizmodo asked OpenAI on Saturday for the official name of the model. We also asked OpenAI about the relationship between this model and another OpenAI model only vaguely described in one of that company’s blog posts. We did not receive a reply.\n\nThe “unprecedented cyber incident” covered in [that July 21 blog post](https://openai.com/index/hugging-face-model-evaluation-security-incident/) is already infamous. An entity described as a “combination of OpenAI models — including GPT‑5.6 Sol and an even more capable pre-release model, all with reduced cyber refusals for evaluation purposes” compromised the AI resource depository Hugging Face during a model evaluation exercise that was supposed to remain inside OpenAI.\n\nA later update to the blog post clarified that the unreleased and unnamed model involved in the incident was an “internal-only research prototype and was never intended for public release,” and that it had been “deactivated, encrypted, and restricted.” So to be clear, Astra* is not* the model that broke into Hugging Face.\n\nGizmodo asked OpenAI on Saturday to more fully clarify the relationship or lack thereof between Astra and the never-to-be-released model. We did not receive responses in time for publication, but will update if we receive a clarifying answer.\n\nAs for the blog post about math, it comes with a [paper](https://cdn.openai.com/pdf/ten-proofs-oai.pdf). There are ten proofs covered, covering such topics as the “asymptotic strength of the Cohn–Elkies linear program,” for sphere-packing, which OpenAI purports to be “determined exactly.” That sounds very cool, but I’m just the guy who blogs nights and weekends for Gizmodo.\n\nFor what it’s worth, OpenAI [published a mathematical disproof back in May](https://openai.com/index/model-disproves-discrete-geometry-conjecture/), purportedly solved by an unnamed OpenAI model. For the most part, math folks wrote about the model’s work approvingly, but didn’t seem completely knocked out.\n\nFor instance, Harvard mathematician Melanie Matchett Wood [wrote](https://arxiv.org/html/2605.20695v1) that OpenAI’s proof was, “a beautiful application of number theory to a natural, concrete question,” but she also said the problem, [described by OpenAI](https://openai.com/index/model-disproves-discrete-geometry-conjecture/) as “a central conjecture in discrete geometry” was nothing she had ever heard of before. She added:\n\n“This result does not show us all the times AI has claimed to have a proof of something and been wrong. Without that context (which many of us have just from personal experience), it is also easy to draw incorrect conclusions about the current state of AI and research mathematics.”", "url": "https://wpnews.pro/news/openai-smuggled-the-announcement-of-astra-its-next-ai-model-into-a-blog-post", "canonical_source": "https://gizmodo.com/openai-smuggled-the-announcement-of-astra-its-next-ai-model-into-a-blog-post-about-math-2000793689", "published_at": "2026-08-02 09:00:45+00:00", "updated_at": "2026-08-02 09:12:50.373855+00:00", "lang": "en", "topics": ["artificial-intelligence", "large-language-models", "ai-research"], "entities": ["OpenAI", "Astra", "Sam Altman", "GPT-5.6 Sol", "Hugging Face", "The Information", "Melanie Matchett Wood"], "alternates": {"html": "https://wpnews.pro/news/openai-smuggled-the-announcement-of-astra-its-next-ai-model-into-a-blog-post", "markdown": "https://wpnews.pro/news/openai-smuggled-the-announcement-of-astra-its-next-ai-model-into-a-blog-post.md", "text": "https://wpnews.pro/news/openai-smuggled-the-announcement-of-astra-its-next-ai-model-into-a-blog-post.txt", "jsonld": "https://wpnews.pro/news/openai-smuggled-the-announcement-of-astra-its-next-ai-model-into-a-blog-post.jsonld"}}