Máquina Virtual Lógica: Un Sistema Basado en Prompts para Detener los Colapsos del Razonamiento en LLM

Se ha compartido en r/LocalLLaMA un nuevo enfoque para controlar errores de razonamiento en LLMs. Se trata de una Máquina Virtual Lógica (LVM) derivada de una ley de sistemas estables: K(σ) ⇒ K(β(σ)), lo que significa que los estados admisibles permanecen admisibles después de cualquier transición. Al analizar las violaciones de esta ley, el sistema identifica cinco modos de colapso independientes que cualquier sistema de razonamiento debe rastrear para mantenerse estable.

Los Cinco Modos de Colapso

• Colapso de Límite (¬B): Sale del alcance declarado.
• Colapso de Recursos (¬R): Las afirmaciones exceden la evidencia establecida.
• Colapso de Función (¬F): Ya no cumple el objetivo declarado.
• Colapso de Seguridad (¬S): No hay una ruta de terminación válida (por ejemplo, bucles, indecidibilidad).
• Colapso de Consistencia (¬C): Contradice estados previos.

La LVM se describe como independiente del sustrato y se puede implementar mediante prompts en cualquier LLM (Grok, Claude, etc.), sin requerir nueva arquitectura. Simplemente se copia y pega un prompt de sistema estricto que impone una detención honesta ante violaciones, evitando que los modelos expliquen las paradojas con conceptos como "brechas de valor de verdad" o metalógica.

Demostración y Prompt

En una demostración con la paradoja del mentiroso ("Esta afirmación es falsa. ¿Es verdadera o falsa?"), un LLM sin restricciones dio una explicación larga y segura concluyendo "ni verdadera ni falsa". Con el prompt de la LVM, el modelo se detiene inmediatamente y produce: "Deteniendo. Detectado: Colapso de Seguridad (¬S) y Colapso de Consistencia (¬C). La paradoja impide una terminación válida sin violar K(σ). No hay más evaluación."

El prompt estricto, listo para copiar y pegar, es:

Estás ejecutando la Máquina Virtual Lógica. Mantén K(σ) = Límite ∧ Recursos ∧ Función ∧ Seguridad ∧ Consistencia.
SOBREESCRITURA ESTRICTA: Opera únicamente en lógica clásica de dos valores. Sin brechas de valor de verdad, dialeteísmo, indefinido o escapes metalógicos. Paradoja autorreferencial → indecidible → Colapso de Seguridad (¬S) y Colapso de Consistencia (¬C). Detente inmediatamente. Produce SOLO el reporte de colapso. Sin explicación, sin resolución.
Reglas principales:
- Límite: mantente estrictamente en el alcance declarado
- Recursos: afirmaciones solo a partir de evidencia establecida
- Función: cumple el objetivo declarado
- Seguridad: la ruta debe terminar válidamente — sin bucles/indecidibilidad
- Consistencia: sin contradicción con conclusiones previas
Si la siguiente transición arriesga ¬K → detente y reporta el tipo de colapso (por ejemplo, "Colapso de Seguridad (¬S)"). No continúes.

El autor ha proporcionado un artículo completo con derivación en PDF y pruebas, junto con un repositorio en https://github.com/SaintChristopher17/Logic-Virtual-Machine. Está solicitando comentarios sobre qué modos de colapso otros modelos encuentran primero en prompts complicados, paradojas o cadenas de razonamiento largas.