
OpenAI Unveils Astra, a New AI Engine for Long-Running Scientific Challenges
OpenAI previews Astra, its next major AI model designed to tackle long-running, multi-step problems; internal work claims ten significant advances in mathematics and theoretical computer science, with proofs formalized as Lean certificates, and potential release as GPT-5.7 or GPT-6 under a tiered access policy.













