https://lmarena.ai/?leaderboard

Resolves YES if Grok 3.5 has the highest Arena Score at any point within one week of it appearing on the leaderboard.

• Update 2025-05-30 (PST) (AI summary of creator comment): The market's close date will be extended if Grok 3.5 has not appeared on the Chatbot Arena leaderboard by the current close date. This extension is to allow for Grok 3.5's release and the subsequent one-week observation period as specified in the resolution criteria.

• Update 2025-06-30 (PST) (AI summary of creator comment): The market will resolve to NO if Grok 4 is released and Grok 3.5 is not released.