Resolution criteria

This market resolves to YES if, after both models are officially released in General Availability (GA) and ranked on the Artificial Analysis, DeepSeek V4 Pro has a higher overall Elo rating than Gemini 3.5 Pro.

If Gemini 3.5 Pro has a higher or equal Elo rating than DeepSeek V4 Pro, this market resolves to NO.