Ten advances in mathematics and theoretical computer science
OpenAI's internal model Astra solved ten long-standing math problems at minimal cost, triggering a collective rethinking of AI's role in mathematics.
Simon Willison · Aug 2, 2026
OpenAI's internal model Astra solved ten long-standing math problems at minimal cost, triggering a collective rethinking of AI's role in mathematics.