SevenTnewS

Decodificación especulativa semi-autorregresiva llega a producción

El DSpark de DeepSeek acaba de solucionar las dos cosas que frenaban una inferencia de IA más rápida

Un nuevo marco de decodificación especulativa de DeepSeek aborda los dos cuellos de botella que han limitado a los generadores paralelos: la decadencia de sufijos y la verificación ineficiente. DSpark logra velocidades de generación entre un 60 y un 85% más rápidas en producción al acoplar una arquitectura semi-autorregresiva con un programador de programación basado en confianza que elimina tokens de bajo valor antes de que el modelo objetivo los verifique.

Emmanuel Fabrice Omgbwa Yasse

2026-07-08 · 4 min de lectura

El DSpark de DeepSeek acaba de solucionar las dos cosas que frenaban una inferencia de IA más rápida
Fuentes : DSpark: Confide…

Durante años, la decodificación especulativa ha sido la solución provisional que permite a los grandes modelos de lenguaje generar texto más rápido sin sacrificar calidad. La idea es elegante: un modelo generador ligero propone un bloque de tokens candidatos, y el modelo objetivo de tamaño completo verifica todo el bloque en una sola pasada hacia adelante. Los tokens aceptados se quedan; el primer token rechazado y todo lo que le sigue se descartan. Si se hace correctamente, el sistema produce la misma salida que el modelo objetivo solo, pero en menos tiempo de reloj. fast-lewm-parallel-action-prefix-prediction-slashes-latent-world-model-planning-costs

Pero el enfoque siempre ha enfrentado un compromiso fundamental. Los generadores autorregresivos producen secuencias de alta calidad, pero su latencia crece linealmente con el tamaño del bloque. Los generadores paralelos pueden proponer bloques largos en una sola pasada, sin embargo, sufren una rápida decadencia de aceptación en posiciones posteriores porque no pueden modelar dependencias entre tokens. E incluso cuando un generador paralelo produce una propuesta larga, verificar cada token indiscriminadamente desperdicia cómputo, especialmente bajo alta concurrencia, donde cada token rechazado ocupa capacidad de lote que podría servir a otras solicitudes. when-your-ai-knows-you-better-than-you-know-yourself-the-hidden-cost-of-context-in-17-slide-recaps

Dos cuellos de botella identificados por DeepSeek

El equipo de investigación de DeepSeek, en un artículo publicado con colaboradores de la Universidad de Pekín, realizó un análisis sistemático de estos cuellos de botella. Sus pruebas de referencia fuera de línea en los modelos Qwen3-4B, 8B y 14B revelaron un patrón marcado: el generador paralelo DFlash comienza fuerte en la posición 1 (aceptación condicional de 0.88 en matemáticas) pero decae rápidamente a 0.78 en la posición 7. Mientras tanto, el generador autorregresivo Eagle3 mantiene o incluso mejora su tasa de aceptación más adentro del bloque, de 0.53 a 0.74 en chat, pero sufre de una arquitectura superficial que limita el rendimiento inicial. the-verification-horizon-why-rewarding-coding-agents-is-getting-harder

"Debido a que la decodificación especulativa opera como un proceso estricto de supervivencia de coincidencia de prefijos, el primer token tiene el mayor apalancamiento. Un rechazo aquí invalida inmediatamente todo el bloque", escriben los autores. La ventaja de capacidad de los generadores paralelos en la posición 1 explica por qué pueden superar a los modelos autorregresivos a nivel global a pesar de su decadencia de sufijos. ifbench-the-new-benchmark-testing-ai-instruction-following

Cómo DSpark combina lo mejor de ambos mundos

DSpark divide la generación del borrador en dos etapas. Una columna vertebral paralela, basada en el diseño de DFlash, ejecuta una sola pasada hacia adelante sobre todo el bloque, produciendo estados ocultos y logits base. Luego, una cabeza secuencial ligera inyecta dependencia entre los tokens del borrador a través de un sesgo de transición de Markov de primer orden. El componente secuencial utiliza una factorización de bajo rango (rango 256) para mantener el almacenamiento y el cómputo por paso al mínimo. kog-laneformer-2b-the-latency-first-model-that-redefines-small-scale-inference

El efecto, según el artículo, es que DSpark hereda la alta aceptación inicial de un generador paralelo profundo mientras mitiga la rápida decadencia típica de la generación puramente paralela. En los modelos Qwen3, DSpark mejoró la longitud aceptada macro-promedio sobre Eagle3 en aproximadamente un 27 a 31 por ciento y sobre DFlash en un 16 a 18 por ciento. En el modelo objetivo Gemma4-12B, las ganancias fueron del 12 al 17 por ciento sobre Eagle3 y del 9 al 14 por ciento sobre DFlash.

Quizás más revelador es el comportamiento de escalado del modelo. Un DSpark de 2 capas supera una línea base DFlash de 5 capas en todos los dominios, lo que demuestra que "inyectar auto-regresión local a través de una cabeza secuencial ligera ofrece una compensación altamente favorable entre precisión y parámetros", señalan los autores. how-local-llms-like-gemma-and-qwen-are-taming-open-source-repository-triage-at-scale

Verificación programada por confianza: saber cuándo detenerse

La segunda mitad del marco DSpark es lo que lo hace listo para producción. El sistema acopla una cabeza de confianza, que estima las probabilidades de supervivencia del prefijo por posición, con un programador consciente del hardware que determina dinámicamente las longitudes de verificación óptimas basadas en la carga actual del sistema. Esto aborda un problema que las pruebas de referencia fuera de línea no pueden capturar: bajo alta concurrencia, verificar tokens de cola de baja confianza degrada el rendimiento general más de lo que ayuda. the-verification-horizon-why-rewarding-coding-agents-is-getting-harder

En barridos de umbral fuera de línea, la cabeza de confianza resultó efectiva para identificar tokens de sufijo de bajo valor. A medida que aumentaba el umbral de aceptación, la tasa de aceptación general aumentaba constantemente porque el estimador filtraba los tokens que finalmente serían rechazados, particularmente en cargas de trabajo de chat, donde las distribuciones de tokens de mayor entropía hacen que la verificación ciega sea ineficiente.

Se agregó un procedimiento de calibración post-hoc llamado Escalado de Temperatura Secuencial (STS) para alinear las probabilidades predichas con las tasas de aceptación empíricas. "Debido a que las estimaciones de confianza neuronales a menudo son demasiado confiadas, usar las puntuaciones de confianza brutas directamente distorsionaría la estimación del rendimiento, lo que llevaría a una programación subóptima", explica el artículo.

Despliegue en producción: generación entre un 60 y un 85 por ciento más rápida

La verdadera prueba de cualquier optimización de inferencia es el tráfico de usuarios en vivo, y DeepSeek desplegó DSpark dentro de su sistema de servicio V4. En comparación con la línea base de producción MTP-1 anterior, DSpark aceleró las velocidades de generación por usuario entre un 60 y un 85 por ciento en la variante V4-Flash y entre un 57 y un 78 por ciento en V4-Pro, con capacidades de rendimiento agregado igualadas. what-the-5-day-old-paper-260623050-tells-us-about-the-future-of-ai

Más importante aún, DSpark mitigó un precipicio de rendimiento que previamente hacía inalcanzables los niveles estrictos de interactividad. Bajo restricciones estrictas de SLA, como 120 tokens por segundo para Flash y 50 para Pro, la capacidad de la línea base se deterioró severamente. La verificación programada por confianza de DSpark evitó esta degradación al dirigir el cómputo del modelo objetivo solo hacia los tokens con el mayor rendimiento esperado. kog-laneformer-2b-the-latency-first-model-that-redefines-small-scale-inference

Artefactos de código abierto e impacto comunitario

DeepSeek ha lanzado puntos de control DSpark entrenados tanto para los modelos V4-Flash (preliminar) como V4-Pro (preliminar). La compañía también ha publicado como código abierto DeepSpec, un repositorio de entrenamiento impulsado por algoritmos que incluye implementaciones de Eagle3, DFlash y DSpark. Los puntos de control y el código están destinados a apoyar investigaciones adicionales sobre el servicio eficiente de LLM. cuga-ibms-open-source-agent-harness-lets-you-build-apps-with-just-a-prompt-and-tool-list

El lanzamiento representa una contribución significativa a la literatura de decodificación especulativa, no solo por las innovaciones algorítmicas, sino por la forma sistemática en que el artículo diagnostica y aborda los cuellos de botella que han limitado a los generadores paralelos en producción. Al demostrar que un generador semi-autorregresivo de 2 capas puede superar a un generador paralelo de 5 capas, y que la verificación adaptativa puede cambiar la frontera de Pareto de un sistema de servicio, DSpark ofrece un manual práctico para desplegar grandes bloques de borrador en entornos de alta concurrencia. ai2-releases-olmoearth-v11-slashing-compute-costs-up-to-3x-for-satellite-imagery-ai