Xiaomi

Full rules

As written on Polymarket for “Will Xiaomi be the second-best Math AI lab at the end of October 2026?”.

1. §1This market will resolve according to the second-highest ranked Company based on the arena.ai Text Arena (Math) when the table under the "Leaderboard" tab filtered for "Labs" is checked on October 31, 2026, 12:00 PM ET.
2. §2Results from the "Lab Rank" column under the "Text Arena | Math" Leaderboard tab at https://arena.ai/leaderboard/text/math-no-style-control?rankBy=labs with style control off (Adjustments: None) and filtered for "Labs" will be used to resolve this market.
3. §3Note: Models marked “AutoEval” at the applicable check time will not be considered, regardless of whether they display a rank or score.
4. §4AI companies will be ordered primarily by their Lab Rank at the market’s check time.
5. §5If the results based on the lab ranking are ambiguous or unavailable, the relevant AI companies will be ordered according to their highest-ranking AI model in the leaderboard’s “Models” view.
6. §6If 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.
7. §7If a tie still remains, alphabetical order of AI lab/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”).