Will the next model released by DeepSeek debut at a score of at least 1460?

This market will resolve to "Yes" if the next model released by DeepSeek has at least the specified score on the Arena.AI Leaderboard (arena.ai/leaderboard/text) when the table under the "Leaderboard" tab is checked on the date after the day of the release, 12:00 PM ET. Otherwise, this market will resolve to "No". Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://lmarena.ai/leaderboard/text with style control off will be used to resolve this market. I