# OpenAI announces Astra solved 10 mathematics problems

> OpenAI has pulled back the curtain on Astra, a still-unreleased model it says cracked ten previously open problems in mathematics and theoretical computer science. According to the company's August 1 post, the system proved the existence of non-sofic groups, tightened known bounds on sphere packing, and produced results spanning coding theory, quantum complexity, and lattice cryptography. What separates this from the usual benchmark boasting is external validation. Fields Medal winner Timothy Gowers endorsed one of Astra's proofs as strong enough for publication in a top journal, a rare signal that the output is genuine mathematics rather than plausible-looking filler. OpenAI frames the work as evidence that frontier models can now contribute original research, not just recombine existing knowledge. The caveats are large. Astra is not publicly available, no product release date has been set, and a handful of curated results does not tell us how reliable the model is across the messier reality of open research. Still, a machine credited with new theorems that specialists take seriously is a meaningful marker of how far reasoning systems have come.

_Section: [Daily AI Updates](https://www.wortins.com/daily-ai) · Source: OpenAI · Published Tuesday, August 4, 2026_

## Wortins' read

OpenAI has pulled back the curtain on Astra, a still-unreleased model it says cracked ten previously open problems in mathematics and theoretical computer science. According to the company's August 1 post, the system proved the existence of non-sofic groups, tightened known bounds on sphere packing, and produced results spanning coding theory, quantum complexity, and lattice cryptography. What separates this from the usual benchmark boasting is external validation. Fields Medal winner Timothy Gowers endorsed one of Astra's proofs as strong enough for publication in a top journal, a rare signal that the output is genuine mathematics rather than plausible-looking filler. OpenAI frames the work as evidence that frontier models can now contribute original research, not just recombine existing knowledge. The caveats are large. Astra is not publicly available, no product release date has been set, and a handful of curated results does not tell us how reliable the model is across the messier reality of open research. Still, a machine credited with new theorems that specialists take seriously is a meaningful marker of how far reasoning systems have come.

## Source

[Read the full story at OpenAI](https://openai.com/index/ten-advances-in-mathematics/)

## Related coverage

- [Clearview AI Is Testing an AI Tool That Would Let Cops Unearth Your Life Online](https://www.wortins.com/story/clearview-ai-is-testing-an-ai-tool-that-would-let-cops-unear-8c573d0e) — [Wired](https://www.wired.com/story/clearview-ai-is-testing-an-ai-tool-that-lets-cops-instantly-unearth-your-online-activity/)
- [Powering AI is an architecture problem](https://www.wortins.com/story/powering-ai-is-an-architecture-problem-15281f16) — [MIT Technology Review](https://www.technologyreview.com/2026/09/10/1141649/powering-ai-is-an-architecture-problem/)
- [Inception launches Mercury 2.5 at 1,107 tokens per second](https://www.wortins.com/story/inception-launches-mercury-2-5-at-1-107-tokens-per-second-7999ed1b) — [TestingCatalog](https://www.testingcatalog.com/inception-launches-mercury-2-5-at-1-107-tokens-per-second/)
- [STAT+: Can AI fix the emergency room?](https://www.wortins.com/story/stat-can-ai-fix-the-emergency-room-a71d00ee) — [STAT](https://www.statnews.com/2026/09/09/scribe-emergency-room-fix-health-care-ai-prognosis/?utm_campaign=rss)
- [Top AI spenders cut per-employee costs by nearly 10 percent in August](https://www.wortins.com/story/top-ai-spenders-cut-per-employee-costs-by-nearly-10-percent--b31ffb0b) — [The Decoder](https://the-decoder.com/top-ai-spenders-cut-per-employee-costs-by-nearly-10-percent-in-august/)
- [Researchers used AI to build a WeChat worm that spreads through phone calls](https://www.wortins.com/story/researchers-used-ai-to-build-a-wechat-worm-that-spreads-thro-8bf3f469) — [The Next Web](https://thenextweb.com/news/wechat-worm-ai-calif-tencent-zero-click)

---

_Curated and written by [Wortins](https://www.wortins.com) — The daily AI briefing. Every story links to its original source; the "Wortins read" on each is our own original analysis. [About Wortins & our editorial approach](https://www.wortins.com/about)._