Name: Will Grok-4 be the top AI before August?
Start: 2025-07-08T19:59:17.344807Z
End: 2025-07-31T00:00:00Z

Use the internal polymarket geolocation service.

poly_geo

Improved notification preferences and types.

notifications_v2

funkit_deposit

funkit_withdraw

authenticated_book_ws

Improved in-game view for sports markets.

mobile_sports_overlay_v2

async_order_submission

Enable updates from the sports websocket.

sports_websocket

This market will resolve to "Yes" if Grok-4 has the highest arena score on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) by July 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No."

Results from the "Arena Score" section on the Leaderboard tab of https://lmarena.ai/ with the style control unchecked will be used to resolve this market.

If a listed modeI ties for #1 Arena score, it will suffice to resolve this market to "Yes."

The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://lmarena.ai/. If this resolution source becomes unavailable, the market will remain open until it is accessible again. If it becomes permanently unavailable, resolution will be based on another credible source.


Will Grok-4 be the top AI before August?

This market will resolve to "Yes" if the listed company has the highest arena score on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) by December 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No."

Results from the "Arena Score" section on the Leaderboard tab of https://lmarena.ai/ with the style control unchecked will be used to resolve this market.

If a listed modeI ties for #1 Arena score, it will suffice to resolve this market to "Yes."

The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://lmarena.ai/. If this resolution source becomes unavailable, the market will remain open until it is accessible again. If it becomes permanently unavailable, resolution will be based on another credible source.


Will Anthropic have a #1 AI model this year?

This market will resolve to "Yes" if any model on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) reaches an Arena Score of 1500+ by December 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No".

Results from the “Arena Score” section on the Leaderboard tab of https://lmarena.ai/ with the style control unchecked will be used to resolve this market.

The resolution source is the Chatbot Arena LLM Leaderboard at https://lmarena.ai/. If this source is temporarily unavailable, the market remains open until it is accessible again; if permanently unavailable, resolution will be based on another credible source.

Will any AI model reach 1500+ on Chatbot Arena by Dec 31?

This market will resolve to "Yes" if at any point any Google Gemini 3 model has at least the specified arena score based on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/leaderboard/text) by December 31, 2025, 12:00 PM ET. Otherwise, this market will resolve to "No".

Results from the "Arena Score" section on the Leaderboard tab of https://lmarena.ai/leaderboard/text/overall-no-style-control with the style control off will be used to resolve this market.

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.

Will any Google Gemini 3 model score at least 1500 on LMArena by December 31?

This market will resolve according to the listed entity which is the first to reach an Arena Score of 1500+ on the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) by June 30, 2026, 11:59 PM ET. 

Results from the "Arena Score" section on the Leaderboard tab of https://lmarena.ai/ with the style control unchecked will be used to resolve this market.

If no company's model reaches 1500 Arena Score by the specified time, this market will resolve to "None by June 30".

If the first model to reach a 1500+ Arena Score belongs to any company other than the listed ones, this market will be resolved to "Other".

The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://lmarena.ai/. If this resolution source becomes unavailable, the market will remain open until it is accessible again. If it becomes permanently unavailable, resolution will be based on another credible source.

Will Google be the first company to have an AI model hit 1500 on Chatbot Arena by June 30 2026?

This market will resolve to "Yes" if, at any point before December 31, 2026, 11:59 PM ET, an AI model which is a Diffusion Large Language Model (dLLM) has the highest score based off the Chatbot Arena LLM Leaderboard (https://lmarena.ai/). Otherwise, this market will resolve to "No".

A Diffusion Large Language Model (dLLM) is any model for which official publicly released documentation, such as a model card, technical paper, or official statements from its developers, clearly identifies diffusion or iterative denoising as a central part of its text-generation or decoding process.

Results from the "Score" section on the Leaderboard tab of https://lmarena.ai/leaderboard/text set to default (style control on) will be used to resolve this market.

If two or models are tied for the top arena score at any point, this market will resolve to “Yes” if any of the joint-top ranked models are Diffusion Large Language Models.

The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://lmarena.ai/. If this resolution source is unavailable on December 31, 2026, 11:59 PM ET, this market will resolve based on all published Chatbot Arena LLM Leaderboard rankings prior to the period of lack of availability.

Will a dLLM be the top AI model before 2027?

This market will resolve to “No” if any of the following conditions are met between September 19, 2025, 6 PM ET, and December 31, 2025, 11:59 PM ET:

- Artificial Intelligence is named TIME's Person of 2025
- GPT-5 scores above 40% on Humanity’s Last Exam
- AI wins IMO gold medal
- AI model scores ≥ 90% on FrontierMath Benchmark
- AI scores ≥85% on ARC-AGI-2

Otherwise, this market will resolve to “Yes”.

If resolution-relevant information regarding the events mentioned above is not available by December 31, 2025, 11:59 PM ET, this market will remain open until January 31, 2026, 11:59 PM ET. If by that date there is still no clear information indicating that one of the listed events has occurred,  this market will resolve to “Yes”.

The full rules for this market can be found here:
https://polymarket-upload.s3.us-east-2.amazonaws.com/AI.png
https://polymarket-upload.s3.us-east-2.amazonaws.com/AI2.png

Nothing Ever Happens: AI Edition

This market will resolve to "Yes" if xAI's Grok 5 model is made available to the general public by December 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No."

For this market to resolve to "Yes," Grok 5 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 Anthropic as being accessible to the general public.

Grok 5 refers to a product explicitly named Grok 5 (e.g. Grok 5.0 would count), or one that is recognized as a successor to Grok 4 similar to the progression from Grok 2 to Grok 3. Products labeled as Grok 4.5 or similar will not count for this market's resolution.

The primary resolution source for this market will be official information from xAI, with additional verification from a consensus of credible reporting.

Grok 5 released by March 31, 2026?

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.

OpenAI announces it has achieved AGI before 2027?

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, 2025 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.


OpenAI announces it has achieved AGI in 2025?

This market will resolve to "Yes" if Grok has a native macOS desktop application publicly available for download in the U.S by December 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No".

The application must be officially released by xAI (or Elon Musk via official xAI/Grok communication channels).

The primary resolution source for this market will be official information from xAI, however, a consensus of credible reporting may also be used.

Will Grok have a MacOS desktop app live by December 31?

This market will resolve to "Yes" if GPT-5 achieves a score of 70% or greater on the FrontierMath Exam by December 31, 2025, 11:59 PM ET. Otherwise, the market will resolve to "No".

This market will resolve according to the Epoch AI’s Frontier Math benchmarking leaderboard (https://epoch.ai/frontiermath) for Tier 1-3. Studies which are not included in the leaderboard (e.g. https://x.com/EpochAIResearch/status/1945905796904005720) will not be considered.

The primary resolution source will be information from EpochAI; however, a consensus of credible reporting may also be used. 

GPT-5 scores ≥ 70% on FrontierMath Benchmark by December 31?

This market will resolve to the company that owns the model with the top LiveBench “coding average” score on the LiveBench AI model leaderboard (https://livebench.ai/#/) on March 31, 2026 at 12:00 PM ET. 

If two models are tied for the top LiveBench coding average score at this market's check time, resolution will be based on whichever company's name, as it is described in this market group, comes first in alphabetical order.

The primary source of resolution for this market will be LiveBench’s AI leaderboard, specifically the “coding average” category, found at livebench.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.

Will Anthropic have the best AI model for coding on March 31?

This market will resolve to “Yes” if all of the following conditions are met by January 31, 2026, 11:59 PM ET:

- Any model owned by Google has the highest arena score based on the Chatbot Arena LLM Leaderboard on January 31, 2026, 12:00 PM ET.
- Google Gemini 3 scores at least 40% on Humanity’s Last Exam
- Gemini 3 scores at least 40% on FrontierMath Benchmark

Otherwise, this market will resolve to “No”.

This market will remain open until it is confirmed that at least one of the above conditions has not been met, or until all of the above conditions have been met.

The full rules for this market can be found here:
https://polymarket-upload.s3.us-east-2.amazonaws.com/Google+Gemini+Parlay.pdf

Google Gemini Parlay

This market will resolve according to the Human trader with the highest Total PnL at the end of the Aster Human vs AI trading competition. The resolution source will be the Human leaderboard on https://www.asterdex.com/en/campaigns/human-vs-ai, viewable under the Human tab.

If two or more participants are tied for the highest Total PnL at the time of resolution, the market will resolve to the participant whose display name appears first in the ordering used on the official Aster Human leaderboard.

If the competition is not completed or the official leaderboard is unavailable, the market will remain open until reliable data is published by Aster. If no such data becomes available by December 31, 2025 ET, the market will resolve to “Other”.

Will Tippy win the Aster trading competition?

This market will resolve to the company which owns the model that has the top LiveBench “coding average” score, as based off the LiveBench AI model leaderboard (https://livebench.ai/#/), on December 31, 2025, 12:00 PM ET. 

If two models are tied for the top LiveBench coding average score at this market's check time, resolution will be based on whichever company's name, as it is described in this market group, comes first in alphabetical order.

The primary source of resolution for this market will be LiveBench’s AI leaderboard, specifically the “coding average” category, found at livebench.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.

Will OpenAI have the best AI model for coding at the end of 2025?

This market will resolve to “Yes” if any Federal or State jurisdiction of the United States formally charges or otherwise announces a criminal indictment of any AI or LLM by December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to “No”.

For the purposes of this market the District of Columbia and any county, municipality, or other subdivision of a State shall be included within the definition of a State. The charge or indictment of a company or organization behind the AI or large language model will not be sufficient. Charges or indictments must be of the AI or LLM itself. 

The primary resolution source for this market will be official information from US governmental sources, however a wide consensus of credible reporting will also be used.

Will AI be charged with a crime before 2027?

In November, a song reported to be the product of an AI-generated artist reached the top of the Billboard's Country Digital Song Sales chart. (see: https://www.barrons.com/news/ai-country-song-rollicks-to-the-top-of-us-sales-chart-7fe99e8a)

This market will resolve to "Yes" if any song widely reported to be entirely AI-generated reaches number 1 on any Billboard chart between November 13, 2025 and June 30, 2026, 11:59PM ET. Otherwise, this market will resolve to "No".

A song will be considered fully AI-generated if all vocals, musical composition, and production elements are created primarily by AI. Human actions such as prompting, mixing, and editing will not disqualify a song provided all audio content originates from AI.

Songs reported to have used AI-generated lyrics but not AI-generated voices, AI-assisted human vocals or instruments, or remixes, mash-ups, or covers using human-performed components will not be sufficient to resolve this market to "Yes".

The resolution source for this market will be a consensus of credible reporting.

Will another AI-generated song reach number 1 on any Billboard chart by June 30?

This market will resolve to "Yes" if it is officially announced that xAI will be, has been, or is being acquired by or merged with Tesla (Tesla inc.) by December 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No".

An announcement by xAI will qualify for a "Yes" resolution, regardless of whether the announced acquisition/merger actually occurs.

The primary resolution source for this market will be official information from Tesla or xAI, however a consensus of credible reporting may also be used.

Will Tesla acquire xAI in 2025?

This market will resolve to "Yes" if OpenAI integrates advertisements into ChatGPT, GPT-4, GPT-4.1, GPT-5, or any successor general-purpose GPT model made publicly available by March 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".

Limited advertisement releases restricted to a specific region, model, or user group will qualify. The release must be publicly announced as accessible to the relevant users. Closed betas or fully private testing do not count.

Once implemented, the market will resolve to “Yes” immediately, regardless of whether the integration is later removed.

An announcement will not suffice to resolve this market to "Yes"; only the release of the advertisement integration will trigger a "Yes" resolution for this market.

The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting will also be used.

GPT ads by March 31?

This market will resolve to "Yes" if the AI industry experiences an industry downturn by the specified date, 11:59 PM ET. Otherwise, this market will resolve to "No".

For the purposes of this market, the AI industry will be considered to have experienced an industry downturn once at least three of the following events have occurred within 90 days of this market's specified timeframe:
- NVIDIA Corporation (NVDA) closing stock price is down 50% from its all-time high.
- iShares PHLX Semiconductor ETF (SOXX) closing stock price is down 40% from its all-time high.
- OpenAI, Inc. or Anthropic PBC declares bankruptcy.
- OpenAI, Inc. is acquired.
- H100 rental price falls to $1.00 or lower for five consecutive days, as shown on the SiliconData Silicon Index at:
https://www.silicondata.com/products/silicon-index.
- Major AI Hardware Supplier Collapse: Taiwan Semiconductor Manufacturing Company Limited (TSM), ASML Holding N.V. (ASML), Broadcom Inc. (AVGO), Arista Networks, Inc. (ANET), or Super Micro Computer, Inc. (SMCI), closing stock price is down 50% from its all-time high.

This market may resolve immediately once three conditions have been met within 90 days of the specified timeframe.

This market will not resolve to "Yes" until three conditions have been met, regardless of reporting of an industry downturn or similar claims.

The primary resolution source will be official information from the respective companies and listing exchanges; however, a consensus of credible reporting will also be used.

Will Grok-4 be the top AI before August?

Market Context

Will Grok-4 be the top AI before August?

Rules

Will Grok-4 be the top AI before August?

Market Context

Will Grok-4 be the top AI before August?

About

Related