Will xAI have the top AI model on December 31?

Market Description

This market will resolve to "Yes" if any model owned by xAI has the highest arena score based off the Chatbot Arena LLM Leaderboard (https://lmarena.ai/leaderboard/text) when the table under the "Leaderboard" tab is checked on December 31, 2025, 12:00 PM ET. Otherwise, this market will resolve to "No". If two models are tied for the top arena 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 alphabeti...