Terra

Polymarket

Lean

Give

Thomas

OpenAI named its next major <a href="https://yellow.com/news/openai-senators-astra-30-day-review-framework" rel="noopener noreferrer nofollow">model family Astra</a> on Aug. 1 and said an internal version solved 10 long-open problems in math and theoretical computer science.<h2 id="key-points">Key Points:</h2><blockquote><ul><li>OpenAI confirmed the Astra name in a report crediting the model with 10 results on problems untouched for at least a decade.</li><li>The list includes a construction of non-sofic groups, a disproof of Connes's rigidity conjecture and three Erdős problems.</li><li>Every argument shipped with a machine-checkable Lean certificate, and the token cost came to roughly $2,000 at Sol API rates.</li></ul></blockquote><h2 id="openai-astra-report-lists-10-math-results">OpenAI Astra Report Lists 10 Math Results</h2>The company <a href="https://openai.com/index/ten-advances-in-mathematics/" rel="noopener noreferrer nofollow">published</a> a 249-page report on Saturday covering sphere packing, coding theory, arithmetic circuit complexity, group theory, quantum complexity and lattice cryptography.Every problem on the list had gone at least a decade without progress on its main result, and most had stalled far longer. One construction establishes that non-sofic groups exist, settling a central question in group theory.Other entries disprove Connes's rigidity conjecture, prove Ehrhart's volume conjecture and resolve three problems drawn from the Erdős catalogue, including a lower bound for multicolor triangle Ramsey numbers. OpenAI put the token cost of finding all 10 solutions at roughly $2,000 at Sol API rates.Astra is built around multiple agents that split one hard task, work in parallel over long stretches and pool their results. The family sits beside the Sol, Terra and Luna models that carry the GPT-5.6 label. OpenAI has not decided whether it ships as GPT-6, as a GPT-5.7 variant or as a separate tier, and it has set no release date.Also Read:<a href="https://yellow.com/news/bitcoin-etfs-absorb-233m-single-fund" rel="noopener noreferrer nofollow">Bitcoin ETFs Absorb $233.1M As A Single Fund Supplies Most Of It</a><h2 id="mathematicians-weigh-astra-s-lean-proofs">Mathematicians Weigh Astra's Lean Proofs</h2>Thomas Bloom, a University of Manchester mathematician who curates the Erdős problems catalogue, <a href="https://thenextweb.com/news/openai-astra-model-ten-math-proofs-non-sofic-groups" rel="noopener noreferrer nofollow">called</a> the results "big news" on X. He rated them above the unit distance counterexample that OpenAI released in May, at least in terms of constructions.Each argument arrives with a machine-checkable Lean certificate, a bar that few claims about AI research have cleared. Mathematicians still have to confirm that every formal statement captures the problem their field actually considered open. Noam Brown, who worked on the reasoning methods behind the system, <a href="https://forklog.com/en/openai-model-solves-ten-unresolved-mathematical-problems/" rel="noopener noreferrer nofollow">wrote</a> that the run cracked no Millennium Prize problems.<h2 id="sam-altman-pitched-astra-in-washington">Sam Altman Pitched Astra In Washington</h2>Sam Altman<a href="https://the-decoder.com/openai-announces-its-next-major-model-astra-by-dropping-ten-previously-unsolved-math-solutions/" rel="noopener noreferrer nofollow">demonstrated</a> Astra to senators and senior administration officials in closed-door Washington meetings days before the report landed.He met Senators Raphael Warnock and Bernie Moreno on Wednesday, and his schedule also carried sessions with Mark Warner, Treasury Secretary Scott Bessent and Commerce Secretary Howard Lutnick.Astra is expected to be the first model submitted under a planned federal pre-release review framework.OpenAI took a similar route in May, when it announced an AI-generated disproof of the Erdős unit distance conjecture through a blog post rather than a journal. Mathematicians answered in June with the Leiden declaration, an International Mathematical Union-backed warning about proof by press release, which the company cited on Saturday.Read Next:<a href="https://yellow.com/news/polymarket-traders-spider-man-historic-debut" rel="noopener noreferrer nofollow">Polymarket Traders Give Spider-Man A 91% Shot At A Historic Debut</a>

OpenAI's Next Model Astra Just Solved 10 Problems Open For A Decade

Table of Contents

Yellow News

Other articles published on Aug 2, 2026

Michael Saylor Clarifies Strategy’s Bitcoin Sale Framework, Expects to Remain Net Buyer

Crypto Innovation Won’t Wait for CLARITY Act, Says Former CFTC Commissioner

2027 Social Security COLA Estimate Holds at 3.8% Ahead of Key Inflation Data

Dogecoin advocate warns after Coldcard wallet breach leads to $88.6 million bitcoin theft

Ethereum holds above $1,800 support as spot ETF inflows reach $9 million

The Next Crypto to Make You Rich Is Stacking Three Proven Engines While Bitcoin Bounces Back

Join our free newsletter for daily crypto updates!