If an AI model has a score of at least 1520 before Jan 1, 2027 on the LMSYS leaderboard, then the market resolves to Yes.