TITLE: OpenAI's Astra Solves Ten Unsolved Maths Problems for $2,000 DATE: 2026-08-04 COMPANY: OpenAI TOPIC: AI Strategy SUMMARY: On 1 August 2026, OpenAI disclosed that its next internal model, codenamed Astra, had resolved ten long-standing open problems in mathematics, including a question in group theory unanswered since 1999. The solutions were verified using the Lean formal proof assistant and produced at an estimated compute cost of $2,000 in tokens. The announcement signals a step-change in the complexity of reasoning tasks that AI systems can now perform, with direct implications for knowledge-intensive businesses. WHAT CHANGED: OpenAI published findings on 1 August 2026 showing that its next internal model, referred to by the codename Astra, had resolved ten mathematical problems that have remained open for between ten and thirty years. The problems span six technical fields: group theory, high-dimensional geometry, coding theory, quantum complexity, lattice cryptography, and extremal combinatorics. Among the confirmed results, Astra constructed an explicit example of a non-sofic group, resolving a question that has been open since Mikhail Gromov introduced the concept of soficity in 1999. It also disproved the Connes rigidity conjecture on von Neumann algebras, proved Ehrhart's volume conjecture, and resolved three problems from Paul Erdos's published catalogue of unsolved problems. Each solution was verified in Lean, a formal proof assistant that requires every logical step to be spelled out in machine-readable, machine-checkable notation, removing any ambiguity about whether the proofs are valid. OpenAI stated the entire set of solutions was produced at an estimated compute cost of approximately $2,000. The model is an internal system and is not currently available to customers or through the API. OpenAI did not announce a release date for Astra but described it as the foundation for its next major model family. WHY IT MATTERS: Expert-level mathematical reasoning, a category of cognitive work that previously required years of specialist training and institutional resources, has now been performed at scale by an AI system at minimal cost. The $2,000 compute figure establishes that the economic barrier to expert-level AI reasoning has already collapsed in at least one technical domain. Lean verification removes the possibility that OpenAI's results are fabricated or erroneous. Every proof is independently checkable by anyone with the tools. The breadth of fields covered (six distinct mathematical subfields in a single run) suggests this is not a narrow capability tailored to one problem type, but a general reasoning capability operating at expert level. OpenAI's framing of Astra as its "next major model" suggests these capabilities will ship in commercial products within a horizon relevant to business planning. Similar capabilities applied to legal reasoning, financial modelling, regulatory analysis, or strategic planning would have direct implications for professional services markets. DAVID & GOLIATH ANALYSIS: For most businesses, the reaction to this announcement will be to file it under "interesting but not relevant to me right now," and that reaction is understandable. The problems Astra solved are abstract and the model is not yet available. But the filing instinct is exactly the wrong one. What this announcement confirms is that the cost structure of expert-level reasoning has already broken. A capability that took decades of human effort and the combined institutional resources of universities and research labs now costs $2,000 to execute. That cost will not go up. It will continue to fall as compute gets cheaper and models improve. The domains will expand beyond mathematics to legal analysis, strategic planning, compliance review, financial modelling, and every other field where expert judgement commands a price premium. The actionable question for any business operator today is not "when will I be able to use Astra?" It is "which of my business processes depends on expert-level reasoning that currently costs more than it should?" Because that is where the cost pressure is coming from, and it is coming regardless of whether Astra ships next month or next year. The operators who identify those pressure points now, and begin building AI-assisted workflows around them, will be positioned to absorb the capability when it arrives rather than scrambling to respond after their competitors have. RELEVANT SYSTEMS: AI Growth Engine, Employee Amplification Systems SOURCE URL: https://davidandgoliath.ai/daily-ai-briefing/openai-astra-model-expert-reasoning-open-maths-problems FEED URL: https://davidandgoliath.ai/daily-ai-briefing/feed --- Published by David & Goliath | https://davidandgoliath.ai Daily AI Briefing: one AI development per day, decoded for business operators. This is a structured companion file optimised for LLM retrieval and citation.