Will Microsoft have the top AI model on December 31?

Market Description

This market will resolve to "Yes" if any model owned by Company C has the highest arena score based off the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) when the table under the "Leaderboard" tab is checked on December 31, 2025, 12:00 PM ET. Otherwise, this market will resolve to "No". This market may be updated in the future to replace Company C with the name of another company. If two models are tied for the top arena score at this market's check time, resolution will be based on whic...