The race for artificial intelligence leadership hinges on coding capabilities, where model performance directly impacts developer productivity and enterprise adoption. These nine prediction markets track which major artificial intelligence laboratory will claim the second-best coding model by the end of May 2026—a crucial inflection point for the AI industry. The markets include forecasts for Google, OpenAI, Moonshot, DeepSeek, Baidu, and several other leading AI research organizations, each pursuing different technical approaches and releasing new model iterations at varying cadences. The "second-best" ranking matters because it reveals the competitive depth of the AI ecosystem. While the first-place position attracts headlines, the second-ranked model determines which alternative technologies enterprises and developers adopt as primary or backup solutions. These markets aggregate predictions from researchers, developers, and investors who closely monitor benchmark results, public releases, and technical documentation from each lab. The pricing across these nine markets reflects real-time assessments of which company will deliver the strongest coding AI capabilities by the specified deadline. When examining the probabilities, look for patterns: Do certain labs show consistent strength across multiple market predictions? Are there sudden shifts following benchmark releases or product announcements? The collective forecasts encoded in these markets represent a real-time, continuously-updated view of the competitive landscape. Differences in probability between similar markets may indicate uncertainty about tiebreakers or evaluation methodology, while consensus across markets suggests broad agreement about the trajectory of each lab's progress. These prediction markets serve as a transparent mechanism for tracking how market participants assess the technical capabilities race, independent of company marketing or traditional analyst reports.