Astra

Astra is an unreleased internal research model from OpenAI. The company says it produced machine-checked solutions to ten long-standing problems in mathematics and theoretical computer science, offering an early look at frontier reasoning capability. This hub collects coverage of Astra as more details become public.