ai OpenAI Says Its Unreleased 'Astra' Model Cracked 10 Math Problems That Stumped Humans for Decades Aug 3, 2026, 5:57 PM