Unreleased OpenAI model solves 10 major mathematical problems

OpenAI's unreleased Astra model has solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, according to an announcement from OpenAI. The company believes this marks a significant advancement in scientific reasoning, with proofs including new circuit lower bounds for computing the permanent.

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