TECHNOLOGYOpenAI’s Astra AI Solves 10 Long-Standing Math ProblemsAli WaghbakriwalaAugust 3, 2026August 3, 2026 August 3, 2026August 3, 2026 OpenAI has announced that its next-generation AI model, Astra, has solved or made significant progress on 10 long-standing problems in mathematics and theoretical computer science. ...