Will DeepSeek be #1 model before July?

This market will resolve to "Yes" if any DeepSeek model has the highest Arena Score on the lmarena.ai Leaderboard at any point between January 23 and June 30, 2025, 11:59 PM ET. Otherwise, this market will resolve to "No". Results from the "Arena Score" section on the Leaderboard tab of https://lmarena.ai/ with the style control unchecked will be used to resolve this market. If this resolution source becomes permanently unavailable before this market's resolution date, another source will be chosen.