AI release odds for GPT-6, Claude 5, Grok, and Gemini

This market will resolve according to the company which owns the model which has the highest arena rank based off the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) when the table under the "Leaderboard" tab is checked on December 31, 2026, 12:00 PM ET. Results from the "Rank" section on the Leaderboard tab of https://lmarena.ai/leaderboard/text with the style control off will be used to resolve this market. Models will be ordered primarily by their leaderboard rank at the market’s check time. If two or more models are tied on rank, they will be ordered by their Arena score, including any underlying, unrounded, granular values reflected in the data below the leaderboard. If a tie remains, alphabetical order of company names as listed in this market group will be used as a final tiebreaker (e.g., if the two models are tied by exact arena score, “Google” would be ranked ahead of “xAI”). This market will resolve based on the company that occupies first place under this ranking system. The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://lmarena.ai/. If this resolution source is unavailable at check time, this market will remain open until the leaderboard comes back online and resolve based on the first check after it becomes available. If it becomes permanently unavailable, this market will resolve based on another resolution source.

This market will resolve to "Yes" if Google's Gemini 4.0 Flash model is made available to the general public by the listed date. Otherwise, this market will resolve to "No". For this market to resolve to "Yes," Gemini 4.0 must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be clearly defined and publicly announced by Google as being accessible to the general public. Gemini 4.0 refers to a product explicitly named Gemini 4.0 or one that is recognized as a successor to Gemini 3 similar to the progression from Gemini 2.0 to Gemini 3. Products labeled as Gemini 3.0 Flash, Gemini 2.5, or similar will not count for this market's resolution. The primary resolution source for this market will be official information from Google, with additional verification from a consensus of credible reporting.

This market will resolve to "Yes" if OpenAI or an official representative of the company announces that it has created an artificial general intelligence (AGI) by December 31, 2026 ET. Otherwise, this market will resolve to "No". The primary resolution source for this market will be official information from OpenAI and/or its official representative, however a consensus of credible reporting will also be used.

This market will resolve to "Yes" if Google's next Gemini Pro model is made available to the general public between market creation and the specified date (ET). Otherwise, this market will resolve to “No”. Any Gemini model released after market creation and labeled as "Pro" may qualify (e.g., gemini-3.2-pro, gemini-3.5-pro, or gemini-4.0-pro-preview). Gemini models labeled only as Flash, Flash-Lite, or another non-Pro variant will not qualify. Products labeled as a GA promotion of an already-existing Preview model (e.g., gemini-3.1-pro-ga) may qualify A qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be either clearly defined and publicly announced by Google as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company's official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from Google, with additional verification from a consensus of credible reporting.

This market will resolve according to the calendar date (ET) on which Google's next Gemini Pro model is made available to the general public. Any Gemini model released after market creation and labeled as "Pro" may qualify (e.g., gemini-3.2-pro, gemini-3.5-pro, or gemini-4.0-pro-preview). Gemini models labeled only as Flash, Flash-Lite, or another non-Pro variant will not qualify. Products labeled as a GA promotion of an already-existing Preview model (e.g., gemini-3.1-pro-ga) may qualify. A qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must either be clearly defined and publicly announced by Google as accessible to the general public, or otherwise be made publicly accessible and explicitly labeled on the company's official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from Google, with additional verification from a consensus of credible reporting.

This market will resolve to "Yes" if any model published by OpenAI achieves at least the specified accuracy on Humanity’s Last Exam by December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No". For resolution, “accuracy” refers solely to the value labeled “HLE Accuracy” or a clear equivalent metric if the data’s presentation or terminology is restructured, regardless of the model’s Calibration Error or any other displayed metric. The resolution source will be the official Humanity’s Last Exam leaderboard at https://agi.safe.ai/. If the resolution source becomes unavailable during the listed timeframe, this market will remain open to allow the relevant data to become available again. If the source remains unavailable after the end of the listed timeframe or is otherwise confirmed to be permanently unavailable, official Humanity’s Last Exam results published elsewhere may be used. If no official alternative source is available, this market will resolve to "No".

This market will resolve to "Yes" if the next Google Gemini Pro model added to the Arena.AI Leaderboard (arena.ai/leaderboard/text) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. Otherwise, this market will resolve to "No". Any Gemini model newly added to the leaderboard and labeled as "Pro" may qualify (e.g., gemini-2.5-pro, gemini-3-pro, or gemini-3.1-pro-preview). Gemini models labeled only as Flash, Flash-Lite, or another non-Pro variant will not qualify. Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://lmarena.ai/leaderboard/text with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere. If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model’s first appearance will not be considered. A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market. The resolution source for this market is the Chatbot Arena LLM Leaderboard found at arena.ai/leaderboard/text. 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 leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by December 31, 2026, 11:59 PM ET, this market will resolve to "No".

This market will resolve according to the calendar date (ET) on which Google's next Gemini Pro model is made available to the general public. Any Gemini model released after market creation and labeled as "Pro" may qualify (e.g., gemini-3.2-pro, gemini-3.5-pro, or gemini-4.0-pro-preview). Gemini models labeled only as Flash, Flash-Lite, or another non-Pro variant will not qualify. Products labeled as a GA promotion of an already-existing Preview model (e.g., gemini-3.1-pro-ga) may qualify. A qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must either be clearly defined and publicly announced by Google as accessible to the general public, or otherwise be made publicly accessible and explicitly labeled on the company's official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from Google, with additional verification from a consensus of credible reporting.

This market will resolve to "Yes" if OpenAI's next GPT Luna model (5.7+) is made available to the general public between market creation and the specified date (ET). Otherwise, this market will resolve to "No". A qualifying model must have a name or model identifier that includes "GPT" and "Luna" and be designated as version 5.7 or higher, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, a version 5.7 or higher named in the same manner as GPT-5.6 Luna would qualify, including a new whole-number generation such as GPT-6 Luna or an Astra-branded release meeting these criteria, while models whose name does not include "Luna" or which retain a version designation below 5.7, such as GPT-5.6 Luna, GPT-5.6 Sol, or GPT-5.6 Terra, will not qualify. Fine-tunes, modes, or restricted-access variants of an existing version, such as GPT-5.6-Cyber or GPT-5.6 Sol Ultrafast, will not qualify. A qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must either be clearly defined and publicly announced by OpenAI as accessible to the general public, or otherwise be made publicly accessible and explicitly labeled on the company's official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from OpenAI, with additional verification from a consensus of credible reporting.

This market will resolve to "Yes" if Grok AI officially defeats T1 in any exhibition/competitive match of League of Legends played in 2026. Otherwise, this market will resolve to "No". If no match takes place between T1 and Grok AI or no winner can be determined for any reason by December 31, 2026, 11:59PM ET, the market will resolve to "No". The primary resolution sources for this market will be official announcements from T1, X, Riot Games (if involved); however, a consensus of credible reporting may also be used.

This market will resolve to "Yes" if OpenAI's next GPT Sol model (5.7+) is made available to the general public between market creation and the specified date (ET). 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 5.7 or higher, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, a version 5.7 or higher named in the same manner as GPT-5.6 Sol would qualify, including a new whole-number generation such as GPT-6 Sol or an Astra-branded release meeting these criteria, while models whose name does not include "Sol" or which retain a version designation below 5.7, such as GPT-5.6 Sol, GPT-5.6 Terra, or GPT-5.6 Luna, will not qualify. Fine-tunes, modes, or restricted-access variants of an existing version, such as GPT-5.6-Cyber or GPT-5.6 Sol Ultrafast, will not qualify. A qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must either be clearly defined and publicly announced by OpenAI as accessible to the general public, or otherwise be made publicly accessible and explicitly labeled on the company's official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from OpenAI, with additional verification from a consensus of credible reporting.

This market will resolve according to the calendar date (ET) on which SpaceXAI's next Grok model (4.7+) is made available to the general public. A qualifying model must have a name or model identifier that includes "Grok" and be designated as version 4.7 or higher, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, a version 4.7 or higher named in the same manner as Grok 4.5, Grok 4.6, or grok-4.6-high would qualify, including reasoning, Fast, Heavy, or similar variants carrying a 4.7 or higher designation and a new whole-number generation such as Grok 5, while models whose name does not include "Grok" or which retain a version designation below 4.7, such as Grok 4.6 (released August 12, 2026), including any rollout, promotion, or snapshot of it, will not qualify. Separately numbered product lines that do not carry the core Grok version designation, such as Grok Code Fast or Grok Imagine, will not qualify, and version numbers of the Grok app, website, or other products that do not correspond to a new underlying model will not qualify. A qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must either be clearly defined and publicly announced by SpaceXAI as accessible to the general public, or otherwise be made publicly accessible and explicitly labeled on the company's official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from SpaceXAI, with additional verification from a consensus of credible reporting.

This market will resolve to "Yes" if xAI's Grok 5 model is made available to the general public by the specified date (ET). Otherwise, this market will resolve to "No." Grok 5 refers to a product explicitly named Grok 5, or a model that is clearly recognized as xAI’s next flagship generation succeeding Grok 4. Models released under the Grok 4 generation, including Grok 4.6, Grok 4.7, or similar variants, will not qualify. Qualifying releases of task-specialized models or cost-efficiency variants will not count unless they are explicitly branded as Grok 5 or otherwise clearly announced by xAI as its next flagship Grok generation. For this market to resolve to "Yes," a qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must be either clearly defined and publicly announced by xAI as being accessible to the general public or otherwise made publicly accessible and explicitly labeled within the company’s official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from xAI, with additional verification from a consensus of credible reporting.

This market will resolve to "Yes" if OpenAI makes a GPT Astra model designated 6.1 or higher available to the general public between market creation and the specified date (ET). 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. A qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must either be clearly defined and publicly announced by OpenAI as accessible to the general public, or otherwise be made publicly accessible and explicitly labeled on the company's official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from OpenAI, with additional verification from a consensus of credible reporting.

This market will resolve to "Yes" if the next SpaceXAI Grok model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. Otherwise, this market will resolve to "No". A qualifying model must have a name or model identifier that includes "Grok" and be designated as version 4.7 or higher, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, a version 4.7 or higher named in the same manner as Grok 4.5, Grok 4.6, or grok-4.6-high would qualify, including reasoning, Fast, Heavy, or similar variants carrying a 4.7 or higher designation and a new whole-number generation such as Grok 5, while models whose name does not include "Grok" or which retain a version designation below 4.7, such as Grok 4.6 (released August 12, 2026), including any rollout, promotion, or snapshot of it, will not qualify. Separately numbered product lines that do not carry the core Grok version designation, such as Grok Code Fast or Grok Imagine, will not qualify, and version numbers of the Grok app, website, or other products that do not correspond to a new underlying model will not qualify. Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere. A model marked "AutoEval" will not be considered added to the leaderboard. Only scores displayed without the "AutoEval" label will be considered. If multiple models are added to the leaderboard on the same calendar date (ET), the highest-scoring model will be used for resolution. Models added to the leaderboard on the calendar date following the initial qualifying model's first appearance will not be considered. If a model is first added to the Arena.AI Leaderboard but is subsequently removed and not re-added, such that it is not displayed on the leaderboard at 12:00 PM ET on the calendar date following its first appearance, its appearance will not qualify as added to the Arena.AI Leaderboard. A qualifying model must be newly added to the Arena.AI Leaderboard. Whether the model was previously released, publicly accessible, in beta, or otherwise available before appearing on the leaderboard is irrelevant for this market. The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://arena.ai/leaderboard/text/overall-no-style-control. 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 leaderboard, this market will resolve based on the first subsequent instance at which such a score becomes available on the leaderboard. If it remains unavailable through the end of the seventh day after the qualifying model first appears on the leaderboard or if no qualifying model release occurs by June 30, 2027, 11:59 PM ET, this market will resolve to "No".

This market will resolve to "Yes" if SpaceXAI's next Grok model (4.7+) is made available to the general public between market creation and the specified date (ET). Otherwise, this market will resolve to "No". A qualifying model must have a name or model identifier that includes "Grok" and be designated as version 4.7 or higher, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, a version 4.7 or higher named in the same manner as Grok 4.5, Grok 4.6, or grok-4.6-high would qualify, including reasoning, Fast, Heavy, or similar variants carrying a 4.7 or higher designation and a new whole-number generation such as Grok 5, while models whose name does not include "Grok" or which retain a version designation below 4.7, such as Grok 4.6 (released August 12, 2026), including any rollout, promotion, or snapshot of it, will not qualify. Separately numbered product lines that do not carry the core Grok version designation, such as Grok Code Fast or Grok Imagine, will not qualify, and version numbers of the Grok app, website, or other products that do not correspond to a new underlying model will not qualify. A qualifying model must be launched and publicly accessible, including via open beta or open rolling waitlist signups. A closed beta or any form of private access will not suffice. The release must either be clearly defined and publicly announced by SpaceXAI as accessible to the general public, or otherwise be made publicly accessible and explicitly labeled on the company's official website. Labeling errors, placeholder text, or version names displayed on the website that do not correspond to a model that is actually accessible to the general public will not qualify. The primary resolution source for this market will be official information from SpaceXAI, with additional verification from a consensus of credible reporting.