OpenAI's Astra model solves 10 major open math and CS problems

An internal OpenAI Astra model solved 10 major open math and CS problems

Noam Brown announced on X that an internal version of OpenAI's next major model family, Astra, has solved 10 long-standing open problems in mathematics, quantum complexity, and theoretical computer science, including new circuit lower bounds for computing the permanent. Brown believes this marks a major step for scientific reasoning, and the announcement has sparked widespread discussion and excitement.