OpenAI Unveils Astra, a New AI Engine for Long-Running Scientific Challenges
TL;DR
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.
- OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems BleepingComputer
- Ten advances in mathematics and theoretical computer science OpenAI
- OpenAI’s amazing — but vastly oversold — new model Astra garymarcus.substack.com
- OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math Gizmodo
- OpenAI's Astra Solves Ten Decade-Old Math Problems With Machine-Checkable Lean Proofs Tech Times
Want the full story? Read the original reporting
Read on BleepingComputer