OpenAI said an internal version of its forthcoming Astra model solved ten previously unsolved mathematical research problems and produced verifiable proofs, marking a notable advance in computational reasoning and the potential for more autonomous scientific discovery.