Loading your workspace…
All markets
Which company will have the best AI model for math at the end of 2025?
Foretrace AI research
Understand the odds. Examine the reasoning.
Polymarket shows market prices. Foretrace adds AI probability estimates, opposing evidence and a price-dependent outcome or pass decision for each open market.
View a sample AI report No open markets in this event. Closed markets retain historical data.
24h volumeUnavailable
Total volume$2.5M
LiquidityUnavailable
Event end date · UTCDec 31, 2025
Price history
Market probabilityLoading price history…
Polymarket · UTC
Sampled market observations, not AI forecasts. Lines connect available observations. Legend values are current provider quotes; chart points may be older.
Outcomes & resolution rules
18 marketsThese are market-implied probabilities, not AI forecasts. A displayed quote may differ from the price available for your order.
GoogleClosedMarket odds0%
Will Google have the best AI model for math at the end of 2025?
Yes0%Polymarket estimate
No100%Polymarket estimate
- Liquidity
- Unavailable
- Deadline · UTC
- Dec 31, 2025
- Yes bid / ask
- — / 0.1¢
- Trading fees
- Not flagged by provider
Closed market · historical data
This market is closed. Its historical data remains available.
How research worksResolution rules
This market will resolve to the company which owns the model that has the highest “Mathematics Average” score on the LiveBench AI model leaderboard (https://livebench.ai/#/), on December 31, 2025, 12:00 PM ET. If two models are tied for the highest LiveBench Mathematics 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 “Mathematics Average” category, found at livebench.ai. If this resolution source is unavailable at check time, this market will remain open until the LiveBench AI 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 based on another resolution source.