DeepSeek v4 Pro, costes, benchmarks y uso local: Sanfilippo explica por qué el nuevo modelo podría cambiar las reglas para los agentes de programación.