Resolution Criteria
This market will resolve to "Yes" if the next OpenAI GPT Sol model (6.1+) 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".
A qualifying model must have a name or model identifier that includes "GPT" and "Sol" and be designated as version 6.1 or higher, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, a version 6.1 or higher named in the same manner as GPT-5.6 Sol or GPT-6 Sol would qualify, including a new whole-number generation such as GPT-7 Sol or an Astra-branded release meeting these criteria, while models whose name does not include "Sol" or which retain a version designation below 6.1, such as GPT-6 Sol (released September 22, 2026), including any rollout, promotion, or snapshot of it, GPT-6 Luna, or GPT-6 Astra, will not qualify. Fine-tunes, modes, or restricted-access variants of an existing version, such as GPT-5.6-Cyber or GPT-6 Sol Ultrafast, will not qualify.
The percentage displayed as "HLE Accuracy" for the model in its result card on the "AI Progress on Humanity's Last Exam" chart at https://agi.safe.ai/ will be used to resolve this market. This market will resolve solely based on the displayed HLE Accuracy, regardless of the model's Calibration Error, chart position, other configuration scores, or any underlying granular or unrounded data presented elsewhere.
If multiple qualifying models are added to the Humanity's Last Exam results on the same calendar date (ET), the model with the highest HLE Accuracy will be used for resolution. Models added to the results on the calendar date following the initial qualifying model's first appearance will not be considered. If a model is first added to the Humanity's Last Exam results but is subsequently removed and not re-added, such that it is not displayed on the site at 12:00 PM ET on the calendar date following its first appearance, its appearance will not qualify as added to the Humanity's Last Exam results.
A qualifying model must be newly added to the Humanity's Last Exam results at https://agi.safe.ai/. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the site is irrelevant for this market.
The resolution source for this market is the official Humanity's Last Exam website found at https://agi.safe.ai/. If this resolution source is unavailable at 12:00 PM ET on the calendar date following the date on which the qualifying model first appears on the site, this market will resolve based on the first subsequent instance at which the model's HLE Accuracy becomes available on the site. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the site or if no qualifying model is added by June 30, 2027, 11:59 PM ET, this market will resolve to "No".
