# OpenAI's Astra Model Solved 10 Decades-Old Math Problems

> OpenAI says its Astra model worked through ten mathematical problems that had resisted specialists for decades, and crucially it did not just spit out answers, it produced machine-checkable proofs that other systems can verify line by line. Among the results, the model reportedly tightened a bound on sphere packing density that had stood untouched since 1978, and it disproved a conjecture about unit distances that the mathematician Paul Erdos posed roughly eighty years ago. The whole run is said to have cost around two thousand dollars in compute. What lifts this above the usual benchmark noise is the human endorsement. Fields Medalist Tim Gowers reportedly recommended one of the proofs for publication in a leading journal, which is the field's own stamp of seriousness rather than a marketing claim. If the proofs hold up under peer scrutiny, this is a meaningful shift from AI as a search assistant toward AI as a genuine collaborator in original research. The caveat worth holding onto is that verification by the wider community, not the announcement itself, is what will decide whether these results endure.

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

## Wortins' read

OpenAI says its Astra model worked through ten mathematical problems that had resisted specialists for decades, and crucially it did not just spit out answers, it produced machine-checkable proofs that other systems can verify line by line. Among the results, the model reportedly tightened a bound on sphere packing density that had stood untouched since 1978, and it disproved a conjecture about unit distances that the mathematician Paul Erdos posed roughly eighty years ago. The whole run is said to have cost around two thousand dollars in compute. What lifts this above the usual benchmark noise is the human endorsement. Fields Medalist Tim Gowers reportedly recommended one of the proofs for publication in a leading journal, which is the field's own stamp of seriousness rather than a marketing claim. If the proofs hold up under peer scrutiny, this is a meaningful shift from AI as a search assistant toward AI as a genuine collaborator in original research. The caveat worth holding onto is that verification by the wider community, not the announcement itself, is what will decide whether these results endure.

## Source

[Read the full story at Forbes](https://www.forbes.com/sites/jonmarkman/2026/08/03/openais-astra-solved-10-decades-old-math-problems-for-just-2000/)

## 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)._