Astra: OpenAI’s Next Major AI Model for Math Breakthroughs
OpenAI hints at Astra, its next major model, reporting internal results on 10 long-unsolved math and computer science problems. It also describes formal proofs verified via Lean certificates.