OpenAI previews 'Astra' — agent teams that solved ten open math problems for about $2,000

OpenAI unveiled a new model family, tentatively called Astra, built to let multiple AI agents work together on hard problems for hours or days. An internal version solved ten open problems in mathematics and theoretical computer science that had resisted experts for at least a decade — including a proof that non-sofic groups exist — with proofs formalized in Lean so machines can check them. Total compute cost at API rates: roughly $2,000. Sam Altman demoed the system to Washington policymakers; it may ship as GPT-6, GPT-5.7 or a separate class, and is expected to be the first model to go through the planned US government pre-release review. (Correction: OpenAI has since walked back its framing that these problems had seen no progress for at least a decade, and named mathematicians say several of the proofs build on published work that was not credited.)

✓ Verified · 3 sources

Related stories