Prediction market on kalshi. If an AI model has a score of at least 1700 before Jan 1, 2027 on the LMSYS leaderboard, then the market resolves to Yes.
Resolves: 1/1/2027.