On August 1, 2026, OpenAI publicly disclosed “Astra,” describing an internal version of Astra as its “next major model.” You can read more about that here: https://openai.com/index/ten-advances-in-mathematics/. This market will resolve to "Yes" if the next OpenAI “Astra” model added to the Humanity’s Last Exam results at https://agi.safe.ai/ has an HLE Accuracy of at least the specified percentage at 12:00 PM ET on the calendar date following the date on which it first appears on the site. Otherwise, this market will resolve to "No". If a model first appears on the site but is removed before