Science
OpenAI's Astra model solves ten open math problems for $2,000 compute
OpenAI claims that an in-house version of its next model has settled ten open questions for at least a decade, producing machine-verifiable evidence.