This market will resolve to "Yes" if the next Moonshot AI Kimi K3.1 Pro model added to the Arena.AI Leaderboard (arena.ai/leaderboard/text/overall-no-style-control) holds a rank within the specified top ranks when the table under the "Leaderboard" tab is checked at 12:00 PM ET on the calendar date following the date on which it first appears on the leaderboard. Otherwise, this market will resolve to "No".