Will an open-source AI model become Top 3 this year?

This market will resolve to "Yes" if any open source model has one of three highest arena score based off the Chatbot Arena LLM Leaderboard (https://lmarena.ai/) at any point by December 31, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". If an open source model is tied with another model for a top three arena score, this will qualify for a "Yes" resolution. The resolution source for this market is the Chatbot Arena LLM Leaderboard found at https://lmarena.ai/. If this resolution source becomes permanently unavailable this market will resolve based on another resolution source.