#lean

OpenAI's Astra solved 10 open problems for $2,000: the lesson is the verifier

OpenAI's Astra solved 10 open problems for $2,000: the lesson is the verifier Summary. On 1 August 2026 OpenAI published ten results in mathematics and theoretical computer science, all produced by an