DeepSeek V4 Pro 0813 vs OpenAI GPT-5 Mini: prezzi API, contesto e punteggio arena · LLM Live