OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems | State of Technology