GPT Astra 6.1+: HLE-Diamond Debut?: live odds and probabilities

Market rules and resolution

This market will resolve to "Yes" if the next OpenAI GPT Astra model (6.1+) added to the Humanity's Last Exam results at https://agi.safe.ai/ has an HLE-Diamond 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". A qualifying model must be an OpenAI model designated as version 6.1 or higher that includes "Astra" in its name or model identifier, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, GPT-6.1 Astra, Astra 6.1, or GPT Astra 7 would all qualify. GPT-6 Astra, including any rollout, promotion, Pro or Fast mode, or snapshot of it, will not qualify. Tier-labeled models such as GPT-5.6 Sol, GPT-5.6 Terra, or GPT-5.6 Luna and their successors, and task-specific or modality lines such as GPT-5.6-Cyber, Daybreak models, Codex, GPT Image, or Realtime models, will not qualify. The percentage displayed as "HLE-Diamond Accuracy" for the model in its result card on the "AI Progress on HLE-Diamond" chart at https://agi.safe.ai/ will be used to resolve this market. This market will resolve solely based on the HLE-Diamond Accuracy, regardless of the model's Calibration Error, chart position, other configuration scores, any note that a score was computed on a sample of questions, or any underlying granular or unrounded data presented elsewhere. If the Center for AI Safety (CAIS), which maintains the official Humanity's Last Exam results, publishes a qualifying score (defined below) for the model, and the model has not been displayed on the chart by 11:59 PM ET on the third calendar day (ET) after the first such publication, that score will be used instead, rounded to one decimal place. If multiple qualifying scores for the model have been published by that time, the highest will be used. A qualifying score is one issued under CAIS's name (for example, on https://agi.safe.ai/, https://lastexam.ai/, or https://dashboard.safe.ai/, including jointly with Scale AI) that is clearly identified as overall accuracy on the full HLE-Diamond question set (1,000 questions, released September 22, 2026), without tools, at the reasoning setting labeled "high" in HLE-Diamond's main results. No score other than the chart value or a qualifying score will count, even if no qualifying score is published. This includes score