Kimi K3.1 Pro: Text Arena Debut?

This market will resolve to "Yes" if the next Moonshot AI Kimi K3.1 Pro model added to the Arena.AI Leaderboard (https://arena.ai/leaderboard/text/overall-no-style-control) has at least the specified score 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". A qualifying model must be Moonshot AI's Kimi K3.1 Pro (released October 23, 2026), including its Highspeed variant, listed under a name or model identifier that includes "Kimi" and "K3.1", regardless of capitalization, hyphenation, spacing, or surrounding prefixes, suffixes, or reasoning or effort labels. For example, Kimi K3.1 Pro, Kimi K3.1 Pro Highspeed, or kimi-k3.1-pro, including with a label such as "(Max)" or "(High)", would qualify, while other models, such as Kimi K3 (Max), Kimi K2.8 Preview, or any later Kimi version, will not qualify. Results from the "Score" column under the "Text Arena | Overall" Leaderboard tab at https://arena.ai/leaderboard/text/overall-no-style-control with style control off will be used to resolve this market. This market will resolve solely based on the specified score in the Score column of the leaderboard, regardless of any underlying granular or unrounded data presented elsewhere. A model marked "AutoEval" will not be considered added to the leaderboard. … (condensed)