Will Xiaomi have the best Code Arena | WebDev AI at the end of July 2026?

This market will resolve according to the company that owns the model that has the highest rank based on the Code Arena | WebDev Leaderboard (https://arena.ai/leaderboard/code/webdev) when the table under "Code Arena | WebDev" filtered for "Models" is checked on July 31, 2026, 12:00 PM ET. Results from the "Rank" column under the "Code Arena | WebDev" Leaderboard tab at https://arena.ai/leaderboard/code/webdev (Overall) filtered for "Models" 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 which model is listed higher on 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., “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 Code Arena | WebDev Leaderboard found at https://arena.ai/leaderboard/code/webdev. 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 based on another resolution source.