OpenAI's Astra solved 10 open problems for $2,000: the lesson is the verifier
OpenAI published ten new mathematical results on 1 August 2026, produced by an internal Astra model for roughly $2,000 in tokens. The transferable lesson is not the model: every result shipped with a machine-checkable
