DeepSeek V4 Pro 0813 vs OpenAI GPT-5 Mini: preços de API, contexto e pontuação na arena · LLM Live