This market will resolve to the company which owns the model that has the top LiveBench “coding average” score, as based off the LiveBench AI model leaderboard (https://livebench.ai/#/), on December 31, 2025, 12:00 PM ET.

If two models are tied for the top LiveBench coding average score at this market's check time, resolution will be based on whichever company's name, as it is described in this market group, comes first in alphabetical order.

The primary source of resolution for this market will be LiveBench’s AI leaderboard, specifically the “coding average” category, found at livebench.ai. If this resolution source is unavailable at check time, this market will remain open until the leaderboard comes back online and resolve based on the first check after it becomes available. If it becomes permanently unavailable, this market will resolve based on another resolution source.