An unreleased OpenAI model has solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science.