This market will resolve according to the company which owns the model which has the highest arena rank based on the arena.ai Text Arena (Overall) when the table under the "Leaderboard" tab is checked on October 31, 2026, 12:00 PM ET.
Results from the "Rank" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off (Adjustments: None) and filtered for "Models" will be used to resolve this market.
Note: Models marked “AutoEval” at the applicable check time will not be considered, regardless of whether they display a rank or score.
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 still 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 “SpaceXAI”). This market will resolve based on the company that occupies first place under this ranking.
The resolution source for this market is the arena.ai Text Arena (Overall). If this resolution source is unavailable at check time, this market will remain open until the leaderboard comes back online and will resolve based on the first check after it becomes available. If it becomes permanently unavailable, this market will resolve to "Other".
AITechAI RankingsRecurring
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.
TechAIGrokOpenAI
This market will resolve according to the company which owns the model which has the highest arena rank based on the arena.ai Text Arena (Overall) when the table under the "Leaderboard" tab is checked on November 30, 2026, 12:00 PM ET.
Results from the "Rank" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off (Adjustments: None) and filtered for "Models" will be used to resolve this market.
Note: Models marked “AutoEval” at the applicable check time will not be considered, regardless of whether they display a rank or score.
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 still 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 “SpaceXAI”). This market will resolve based on the company that occupies first place under this ranking.
The resolution source for this market is the arena.ai Text Arena (Overall). If this resolution source is unavailable at check time, this market will remain open until the leaderboard comes back online and will resolve based on the first check after it becomes available. If it becomes permanently unavailable, this market will resolve to "Other".
AITechAI RankingsRecurring
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.
AIgptTechAstra
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.
AITechGeminigoogle
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.
AITechGeminigoogle
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".
GeminiGemini ProAIgoogle
This market will resolve to "Yes" if the next Google Gemini Pro 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 12:00 PM ET on the following calendar date, its appearance will not qualify as added to the Humanity’s Last Exam results.
Any Gemini model 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.
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.
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 December 31, 2026, 11:59 PM ET, this market will resolve to "No".
AITechGeminigoogle
This market will resolve to "Yes" if OpenAI's next GPT Terra 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 "Terra" 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 Terra would qualify, including a new whole-number generation such as GPT-6 Terra or an Astra-branded release meeting these criteria, while models whose name does not include "Terra" or which retain a version designation below 5.7, such as GPT-5.6 Terra, GPT-5.6 Sol, 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.
AIgptTechOpenAI
This market will resolve to "Yes" if the next OpenAI GPT Astra model (6.1+) 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 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.
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".
AIgptTechAstra
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.
lolEsportsCultureleague of legends
On September 8, 2026, Meta launched Muse, a personal AI agent that runs on a cloud computer dedicated to each user, and made it free to use, including the cloud computer. SpaceXAI's similar product, Grok Bot, launched on August 11, 2026, is available only on paid SuperGrok and Cursor plans.
This market will resolve to "Yes" if SpaceXAI makes Grok Bot available for use without requiring a paid subscription or other paid entitlement by 11:59 PM ET on the specified date. Otherwise, this market will resolve to "No".
Free access subject to usage limits will qualify. Access through a free trial or promotional offer of a paid plan will not qualify.
Free access must be launched and publicly accessible through an official distribution channel, including via open beta or a gradual rollout to users without a paid subscription or other paid entitlement. A closed beta or any form of private access will not suffice. Availability limited to certain countries will qualify.
The primary resolution source for this market will be official information from SpaceXAI, with additional verification from a consensus of credible reporting.
AIxAIGrokTech
This market will resolve to "Yes" if any Google Gemini model 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".
AITechGeminiAI Benchmarks
This market will resolve to "Yes" if OpenAI's next GPT Sol model (6.2+) 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 6.2 or higher, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, a version 6.2 or higher named in the same manner as GPT-6 Sol or GPT-6.1 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.2, such as GPT-6.1 Sol (released September 29, 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.1 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.
AIgptTechOpenAI
This market will resolve to "Yes" if OpenAI's next GPT Astra model (6.1+) debuts at a standard output token price of at least the specified price, in USD per million tokens. 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 debut price is the “Standard” output token price, using the “Short context” rate, announced by OpenAI or listed on its official API pricing page when the model is first made available to the general public. An introductory price qualifies. Batch, Flex, Fast mode, Priority, long-context, cached, regional, and data-residency prices do not qualify. If multiple qualifying models debut on the same date, the highest qualifying price applies.
If no qualifying model is made available to the general public by June 30, 2027, 11:59 PM ET, this market will resolve to "No".
The primary resolution source for this market will be official information from OpenAI, including its official API pricing page (https://developers.openai.com/api/docs/pricing), with additional verification from a consensus of credible reporting.
AIgptTechAstra
This market will resolve according to the calendar date (ET) on which OpenAI's next GPT Astra model (6.1+) is made available to the general public.
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.
AIgptTechAstra
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.
AIGrokTechBig Tech
This market will resolve to “Yes” if Grok (Web) experiences an incident labeled “outage” on the official xAI Grok (Web) status page between market creation and the listed date (ET). Otherwise, this market will resolve to “No.”
Only incidents listed under Grok (Web) will be considered. Incidents affecting Grok in X, Grok (iOS), Grok (Android), or similar but not Grok (Web), will not qualify.
Incidents labeled “disruption” or “info” will not qualify.
An incident’s status while it remains ongoing will not determine the market’s resolution; only incidents marked “Resolved” will be considered.
An incident which is marked "Resolved" outside this market’s timeframe will only qualify if ongoing at the end of the listed calendar date (ET), in which case the market will remain open until that incident is marked “Resolved,” and resolution of this market will be based on the incident classification displayed immediately after it is marked "Resolved."
The primary resolution source for this market will be the official xAI Grok (Web) status page at https://status.x.ai/grok-com. If this resolution source is unavailable at check time, this market will remain open until it comes back online and resolve based on the first check after it becomes available. If it becomes permanently unavailable, this market will resolve to "No".
AIxAIGrokTech
This market will resolve to "Yes" if SpaceXAI's next Grok model (4.8+) 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.8 or higher, regardless of capitalization or surrounding prefixes, suffixes, dates, or descriptors. For example, a version 4.8 or higher named in the same manner as Grok 4.5, Grok 4.6, or Grok 4.7 would qualify, including reasoning, Fast, Heavy, or similar variants carrying a 4.8 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.8, such as Grok 4.7 (released September 21, 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.
AIxAIGrokTech