OpenAI internal Astra model solves 10 open math and CS problems
OpenAI researchers announced that an internal version of Astra, the company's next major model family, has solved 10 long-standing open problems in mathematics, quantum complexity, and theoretical computer science. The proofs include new circuit lower bounds for computing the permanent, and the team believes this marks a major step for scientific reasoning.
Coverage timeline
Hacker Newswa5ina
## Post Log inSign up ## Post * 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. openai.com/index/ten-adva… Lijie Chen @wjmzbmr1 Aug 1 10 proofs from our next major model Astra on long-standing open problems in mathematics and theoretical computer science (also including new circuit lower bounds for computing the permanent!) GPT-5.6 has already enabled so much exciting work in math and science. Can’t wait to Show more 8:17 AM · Aug 1, 202612.9M Views 846 2.5K 18K 6.7K * steve @benmoha Aug 1 Made with AI 8 43 1.6K 73K * Teknium 🪽 @Teknium Aug 1 But can it finally check my email without losing its mind 15 5 728 34K * shame-faced crabs @ShameFacedCrabs Aug 1 Mathematicians furiously working to disprove conjectures in 2026 Video 2 00:22 11 31 709 87K ## See all the replies Continue to X ## L