“OpenAI's unreleased model, Astra, has solved or made substantial progress on 10 open problems in fields including high-dimensional geometry, group theory, and quantum complexity.”