DeepSeek V4.1 Pro apareció en el código fuente de un agente de programación. Es una fixture de prueba.

A las 18:50 UTC del 11 de noviembre de 2026, se registró un commit en el código del selector de modelos de un agente de programación de código abierto. Entre las cadenas que añadió estaba deepseek/deepseek-v4.1-pro. En menos de un día, el id había pasado de un diff de código a un tuit con cita que decía «DeepSeek-v4.1-pro podría llegar pronto», y de ahí a la cronología del rastreador que respondió que una nueva ballena no era algo que esperar pronto, «quizá no llegue hasta febrero (espero que no)». El id es real y el commit es público, así que el avistamiento es verificable, pero aquello a lo que apunta no lo es. La cadena aparece exactamente dos veces en todo el repositorio, ambas dentro de una única prueba unitaria, como una fila de fixture en una tabla de entradas de modelos inventados. DeepSeek V4.1 Pro no ha sido lanzado. La documentación propia de DeepSeek sigue promocionando exactamente dos modelos de chat: DeepSeek V4.1 Flash, ahora en el checkpoint 1017, y DeepSeek V4 Pro, todavía en la compilación 0813.

Este es un artículo de lo que sabemos hasta ahora sobre un modelo no lanzado, así que nada de lo que sigue debe interpretarse como un lanzamiento, una fecha, una hoja de especificaciones o un precio. Lo que sigue es el documento que lo originó, el mecanismo dentro de ese documento que explica por qué tenía que estar ahí un id de D​eepSeek de nivel Pro, y las comprobaciones que distinguen un fixture de un listado — cada una de las cuales cualquiera puede volver a ejecutar en un navegador.

Lo que el commit realmente añadió, línea por línea

El cambio es pequeño y su propósito es mundano: hace que los cuatro modelos que cubre un plan de pago queden en la parte superior del selector de modelos en lugar de en algún punto por debajo, e impide que esos mismos modelos ocupen un segundo espacio mediante la lógica de resaltado por familia del selector. Cambian dos archivos de código fuente. Uno introduce la lista de cuatro ids; el otro reescribe la función de proyección y añade una prueba.

La prueba se llama «el selector lista primero los modelos de Token Pass sin una segunda ranura para sus familias». Construye ocho filas ficticias de catálogo y comprueba el orden que debería producir el selector. Cuatro de las ocho son los ids que paga el plan. El fixture de D​eepSeek está escrito como deepseek/deepseek-v4.1-pro con released = 260 y has_tool_use = true, junto a deepseek/deepseek-v4.1-flash con released = 255. Esos números no son fechas, marcas de tiempo ni nada que un catálogo devolvería; son claves de orden ordinal que usan los fixtures para que las aserciones no dependan de una fuente en vivo. Cada fila de esa tabla —incluidas las entradas de Claude, G​PT y K​imi— está escrita a mano para la prueba.

La propia aserción es la parte que importa. El orden esperado sitúa el id de DeepSeek Pro en séptimo lugar de ocho, por detrás del modelo Flash que incluye el plan de pago, por detrás de dos modelos de Z.ai y por detrás tanto de un id de Claude como de uno de OpenAI. En una proyección real de catálogo, un id Pro con una clave de recencia mayor que la del id Flash normalmente ganaría el único espacio destacado de la familia. La prueba existe para demostrar que no lo hace, porque el modelo del plan de pago ya ocupa ese espacio. Un fixture escrito para perder es algo extraño de leer como un anuncio.

¿Por qué un Pro id tenía que estar en el fixture, para empezar?

Esta es la única pieza de la historia que es mecanismo en lugar de especulación, y también es la pieza que hace que el avistamiento parezca más significativo de lo que es.

La lista de destacados del selector asigna a la familia D​eepSeek un recuento de uno: un modelo D​eepSeek se promociona a la sección curada. Un modelo cubierto por el plan de pago se lleva primero a la parte superior. Si ese modelo superior pertenece a la familia D​eepSeek, el cupo de la familia se considera ocupado y se omite el bucle de destacados para esa familia. Ese es todo el comportamiento bajo prueba, y se implementa como una resta: el recuento de cupos menos el número de modelos ya seleccionados para esa familia.

Para demostrar que la resta hace algo, el fixture necesita un segundo id de DeepSeek que, de otro modo, habría sido elegido, y debe ser el candidato más fuerte posible, o la prueba no demuestra nada. El comparador de familias del selector prefiere el modelo más reciente según la clave de recencia y, con igual recencia, aplica un rango específico de DeepSeek en el que un sufijo -pro queda por delante de una variante thinking, que queda por delante de todo lo demás, con -flash al final. Por lo tanto, un fixture -pro con una clave de recencia mayor que la del modelo Flash es exactamente la fila que se llevaría el puesto si se eliminara la nueva resta. La prueba está escrita de modo que el fixture tiene que ser un id Pro y tiene que ser más reciente que Flash.

Eso te consigue un id de D​eepSeek Pro en el diff sin que nadie sepa nada. Por sí solo, no explica la versión. El nivel Pro activo de D​eepSeek es DeepSeek V4 Pro, y el fixture obvio habría sido el id de un modelo que existe. Quien escribió la fila recurrió a v4.1-pro en su lugar — lo que es o una suposición natural del siguiente nombre de la línea, o una copia de una cadena real de otro sitio. El archivo no ofrece forma de saber cuál, y esa ambigüedad es todo el contenido de la filtración. Todo lo publicado después del 11 de noviembre es consecuencia de ello.

Las cuatro comprobaciones que separan un elemento fijo de un anuncio

Si D​eepSeek hubiera preparado realmente un nivel Pro, el id aparecería en algún lugar al que un cliente pudiera acceder, no solo en una tabla de pruebas. Cada uno de los siguientes se comprobó el 13 de noviembre de 2026 y cada uno es una carga de una sola página.

• El changelog de DeepSeek — la entrada más reciente es del 17 de octubre de 2026, la actualización Flash 1017 y la apertura de la API de búsqueda. Nunca ha habido una entrada de V4.1 Pro. Todas las versiones V4 que DeepSeek ha publicado se anunciaron primero en esta página.

• La lista de modelos y la hoja de precios de D​eepSeek — dos nombres de modelo, deepseek-flash y deepseek-v4-pro, con las cadenas de versión DeepSeek-V4.1-Flash-1017 y DeepSeek-V4-Pro-0813 adjuntas. Sin tercera fila, sin fila V4.1 de nivel Pro, sin marcador de posición.

• La organización deepseek-ai en Hugging Face — el repositorio más reciente es DeepSeek-V4.1-Flash-1017, creado el 17 de octubre, modificado por última vez el 10 de noviembre con un commit de plantilla de chat. No hay ningún repositorio V4.1 Pro, ni uno con acceso restringido, nada relacionado con lo privado.

Nuestro propio catálogo — 215 identificadores de modelo, once de ellos de DeepSeek, y ninguno coincide con ninguna grafía de v4.1-pro. Las entradas de DeepSeek llegan como máximo a DeepSeek V4.1 Flash en 1017 y DeepSeek V4 Pro en 0813.

Los catálogos de gateway que replican la API de D​eepSeek, incluido el que el agente en cuestión lee en tiempo de ejecución, enumeran catorce identificadores de D​eepSeek y ninguno de ellos es V4.1 Pro. Ese es el contraste individual más marcado en esta historia: el mismo proyecto incluye un selector que obtiene un catálogo en vivo, y la cadena está ausente del catálogo aunque presente en la prueba que se ejecuta contra uno falso.

El nombre no es nuevo, y su rastro documental es una sola frase.

DeepSeek V4.1 Pro entró en circulación el 10 de septiembre de 2026, en la nota de lanzamiento que se publicó junto con DeepSeek V4.1 Flash. La nota anunciaba una mezcla de expertos de 552 mil millones de parámetros sobre una nueva arquitectura Causal Encoder-Decoder —8 mil millones de parámetros activos en la entrada, 16 mil millones en la salida, comprensión de imágenes nativa, una caché KV de una cuarta parte del tamaño de la de la generación anterior— y luego, en la misma lista de viñetas, decía que a partir de las 04:00 UTC del 14 de septiembre todas las solicitudes de deepseek-v4-pro se dirigirían a V4.1 Flash con las tarifas de Flash, y que esto continuaría «hasta que se lance V4.1-Pro».

La redirección no sobrevivió al contacto con los desarrolladores, y D​eepSeek restauró DeepSeek V4 Pro con una facturación sin cambios. El paréntesis sobrevivió. En las nueve semanas transcurridas desde entonces, ha sido la única prueba documental de que siquiera se planee un nivel Pro de la línea V4.1: ni ficha, ni checkpoint, ni precio, ni fecha y —a partir de esta semana— ninguna segunda mención en ningún lugar del propio material de D​eepSeek.

Lo que la nota de septiembre sí establece es el molde al que tendría que ajustarse un V4.1 Pro. DeepSeek describió Flash como el modelo más pequeño de una nueva familia de arquitecturas, construido para poder escalarse, y afirmó que superó a V4 Pro en capacidades, coste, velocidad y tiempo total de ejecución. Un nivel Pro en esa familia es el siguiente paso natural y algo razonable de esperar. Una expectativa no es una prueba, y el fixture no es un calendario.

¿Qué es invocable hoy y qué comparación tendría que ganar un V4.1 Pro?

Dos modelos de D​eepSeek responden a las solicitudes, y están más distantes entre sí de lo que sugiere la nomenclatura. D​eepSeek V4.1 Flash, en el checkpoint 1017, es un modelo multimodal con contexto de 1M y entrada de visión, salida máxima de 384K, pensamiento activado por defecto con tres niveles de esfuerzo y licencia MIT en los pesos. Fuera de las horas punta cuesta $0,15 por millón de tokens de entrada en caso de fallo de caché, $0,003 en caso de acierto de caché y $0,60 por millón de salida; las horas punta —de 01:00 a 04:00 y de 06:00 a 10:00 UTC de lunes a viernes— cuestan el doble. D​eepSeek V4 Pro, en la compilación 0813, es el buque insignia de 1,6 billones de parámetros de la generación anterior: solo texto, sin visión, el mismo contexto de 1M y $0,66 de entrada / $1,98 de salida fuera de las horas punta, o aproximadamente cuatro veces y media el precio de Flash para un modelo que los propios benchmarks de D​eepSeek sitúan por detrás.

En el entorno de pruebas independiente, la brecha tampoco está cerca de cerrarse. Artificial Analysis otorga a DeepSeek V4.1 Flash 1017 una puntuación de 33 en su Índice de Inteligencia, con 14,8 minutos y 0,60 USD por tarea de índice, generando 174 millones de tokens para conseguirlo —verboso y más lento que el modelo mediano por tarea. El mismo índice sitúa a Kimi K3.1 Pro, la entrada de pesos abiertos mejor situada, en 46. Ese es el número que un V4.1 Pro estaría destinado a mover, y es la razón por la que el nombre sigue atrayendo atención: la brecha entre la gama económica de DeepSeek y la frontera de pesos abiertos es de trece puntos de índice, que es exactamente el tipo de brecha que se supone que debe cerrar un buque insignia.

Si quieres averiguar si el checkpoint 1017 cierra algo de eso en tu propia carga de trabajo, la pregunta práctica no es en qué nivel de DeepSeek estandarizarte, sino si puedes permitirte equivocarte al respecto. Ambos modelos están detrás de un único endpoint en OrcaRouter al precio de lista del proveedor y sin recargo, lo que significa que las tarifas Flash y Pro anteriores son las mismas cifras que pagas, y la ventana de fuera de horas punta es la misma ventana. Eso importa más de lo habitual aquí: los dos modelos difieren en un factor de 4,5 en el precio de salida y en una cantidad desconocida en cuanto a calidad para tu tarea específica, así que la forma barata de resolverlo es dirigir una parte del tráfico real a uno y una parte al otro, y dejar que la conmutación por error automática absorba el experimento si el modelo que probaste resulta ser la elección equivocada.

Las once horas que convirtieron un partido en un rumor

La cronología es lo bastante breve como para enunciarla con exactitud, y es la mejor prueba de que nadie implicado disponía de información nueva.

• 11 de noviembre, 18:50 UTC — el commit añade la prueba del selector. El id está en el diff y el diff es público.

• 12 de noviembre, 13:35 UTC — un usuario del foro se percata del diff, enlaza directamente a la línea del archivo fuente y escribe que DeepSeek V4.1 Pro «podría estar a punto de llegar», añadiendo como alternativa que tal vez solo se trate de otra actualización de checkpoint para Flash. La publicación es honesta sobre la incertidumbre y lee el archivo correctamente como evidencia de una intención.

• 12 de noviembre, 23:08 UTC — la cuenta de seguimiento más conocida por la cobertura de DeepSeek responde con la interpretación de que el archivo no lo respalda: la prueba solo comprueba que un modelo de plan de pago en lo más alto ocupa el hueco de su familia, así que necesita más de un id de DeepSeek. La respuesta añade que la API de DeepSeek no tiene nada nuevo, que un nuevo buque insignia no es algo que quepa esperar pronto y que febrero es la conjetura pesimista.

Nada en esa secuencia es una declaración de proveedor, y ninguna parte en ella afirma tener una. El análisis del mecanismo del segundo comentarista es correcto en lo que respecta a la fuente —la resta de ranuras es exactamente para lo que sirve la prueba— y la conclusión extraída es la conservadora: el fixture es un fixture.

¿Qué haría falta para que esto pasara de ser algo fijo a un hecho?

Cuatro cosas lo harían, y solo una de ellas es un rumor. Una entrada del registro de cambios en la documentación de la API de D​eepSeek que nombre un nivel Pro, pues ahí es donde se ha anunciado cada lanzamiento de V4 y su entrada más reciente sigue siendo la del 17 de octubre. Un repositorio en la organización deepseek-ai con V4.1 Pro en el nombre, pues tanto V4 como V4.1 se publicaron como pesos abiertos bajo MIT en el plazo de un día desde su lanzamiento en la API. Una tercera fila en la hoja de precios — D​eepSeek nunca ha vendido un modelo que no figure allí. O un id que se resuelva en la API, que es la comprobación que habría zanjado esto en una sola solicitud y, en cambio, lo zanja en sentido contrario.

Hasta que uno de esos se concrete, el resumen honesto es más limitado de lo que sugieren las publicaciones y más útil que una fecha. Un ingeniero en activo escribió deepseek-v4.1-pro en una tabla de pruebas el 11 de noviembre, muy probablemente porque es el siguiente nombre obvio en una serie que el autor ya estaba manejando, y posiblemente porque se había visto en algún sitio. Vale la pena conocer esa cadena exactamente por esa razón —es una señal pequeña, débil y real de que quienes están cerca de las herramientas esperan ese nombre— y no vale nada en absoluto como calendario. El febrero del rastreador es una conjetura, el «próximamente» del tuit citado es una conjetura, y lo único que cualquiera de los dos tiene que un lector no tiene es el mismo commit público.