OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems #1 Post by joozio » Tue, Aug 04, 2026, 11:01 AM UTC OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problemslesswrong.com