Se ha lanzado el modelo DeepSeek-V4-Pro-0813.

No se proporcionan más detalles ni benchmarks en el texto original.