¿Será claude-opus-5-high el modelo de IA número 1 el 31 de julio de 2026 a las 10:00 AM ET en el ranking LM Arena 'Remove Style Control'?

🤖 Contexto

YES si Kalshi finaliza el ticker KXTOPMODEL-26JUL31-CLAU5 como YES. Es decir, según la clasificación LM Arena (Remove Style Control), claude-opus-5-high es el modelo número uno a las 10:00 AM ET del 31 de julio de 2026, con empates resueltos por mayor Arena Score, luego por más votos, luego por fecha de lanzamiento anterior. El mercado solo se resuelve cuando Kalshi muestra ese ticker como 'finalized' con un YES o NO explícito.