Ten decade-old math problems fell to an unreleased OpenAI model called Astra, as Chinese open-weight rivals keep taking token share.