Will a Chinese company have a top ___ AI model by December 31?#3

This market will resolve to "Yes" if a Chinese company owns a model that ranks within the top 3, based on the Chatbot Arena LLM Leaderboard (https://arena.ai/) when the table under the "Leaderboard" tab is checked at any point between market creation and December 31, 2026, 11:59 PM ET. Results from the "Rank" section 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. Chinese Companies include but are not limited to Alibaba, ByteDance, Baidu, Moonshot, Z.ai, DeepSeek, Meituan, Xiaomi, StepFun, Tencent, and MiniMax. Companies not headquartered in China or not primarily owned or operating within the Chinese technology ecosystem are not considered primarily Chinese. 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 will be used as a final tiebreaker. This market resolves to “Yes” only if a Chinese company’s model occupies one of the top three positions under this ranking system. 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 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.