@typesfast: So what are we going to get?
Summary
Noam Brown claims OpenAI's internal Astra model solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, potentially marking a major step for scientific reasoning.
View Cached Full Text
Cached at: 08/03/26, 11:41 AM
So what are we going to get?
Noam Brown (@polynoamial): An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.
We believe it will be a major step for scientific reasoning.
Similar Articles
@polynoamial: An internal version of Astra, @OpenAI’s next major model family, solved 10 major open problems in mathematics, quantum …
OpenAI's internal version of its next major model family Astra reportedly solved ten major open problems in mathematics and theoretical computer science, marking a major step for scientific reasoning.
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems (34 minute read)
OpenAI's unreleased model Astra reportedly solved ten major open mathematics problems, with results formalized in Lean certificates, signaling a major leap in AI mathematical reasoning.
Ten advances in mathematics and theoretical computer science
OpenAI used an internal model, Astra, to solve ten mathematical problems that had stalled for over a decade, spending under $2,000 per problem and releasing Lean 4 formalizations and a paper. The results prompt reflections on AI's role in mathematics.
Ten advances in mathematics and theoretical computer science
OpenAI announces ten results on long-standing open problems in mathematics and theoretical computer science, achieved by an internal version of its next model Astra, with proofs formalized in Lean.
@polynoamial: The cost of generating the proofs for all 10 of these breakthroughs combined was under $2,000 at Sol API prices. We’re …
OpenAI's upcoming Astra model family solved 10 major open problems in mathematics and theoretical computer science, with proof generation costing under $2,000. The tweet highlights Astra's potential for scientific reasoning.