How do we know OpenAI's Astra math proofs are real?

On 1 August 2026 OpenAI announced its next model family, Astra, by publishing ten new results in mathematics and theoretical computer science, each on a problem open for at least a decade, and each sh