August 2026

1 article published during this month.

Aug 1, 2026

3 min read

By Aimling

OpenAI’s Astra tackles 10 long-standing maths and computer science problems

OpenAI says its AI system produced advances across geometry, cryptography and complexity, with each argument formalised in Lean.