# Unreleased OpenAI model solves 10 major mathematical problems

> Source: <https://twitter.com/polynoamial/status/2083467194663571701>
> Published: 2026-08-01 12:34:05+00:00

An internal version of Astra,

[@OpenAI](https://x.com/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…](https://openai.com/index/ten-advances-in-mathematics/)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