OpenAI has announced that an internal version of its next major AI model, Astra, has produced solutions for 10 longstanding open problems in mathematics and theoretical computer science.