DeepSeek V4 Pro 0813 vs OpenAI GPT-5 Mini: precio de API, contexto y puntuación en la arena · LLM Live