Signal OpenAI Reveals Next Model 'Astra' Inside a Math Research Announcement

Summary

On August 1, 2026, OpenAI published a blog post titled "Ten advances in mathematics and theoretical computer science," which doubled as the first reveal of its next major model, Astra — named in the post's third paragraph as the system behind the results. The post presents ten solutions to problems that had seen no progress on their central result for at least a decade, spanning von Neumann algebras (a disproof of Connes' Rigidity Conjecture), high-dimensional sphere packing bounds near the Cohn-Elkies threshold, and extremal graph theory (resolving Erdős problems 146 and 180), among other areas. Each result ships with a 249-page manuscript, Lean 4 formal-verification certificates, and reasoning-reconstruction walkthroughs. OpenAI says each problem cost roughly $2,000 in internal compute at Sol API rates. Unlike its May 2026 disproof of the Erdős unit-distance conjecture, this release does not make the same explicit claim of broad external mathematician review, leaving independent verification as an open question despite the Lean certificates. OpenAI has not disclosed a public release timeline for Astra, though some observers speculate it belongs to a GPT-6-class family.