Máquina Virtual Lógica: Um Sistema Baseado em Prompt para Interromper Colapsos de Raciocínio em LLMs

Uma nova abordagem para controlar erros de raciocínio de LLMs foi compartilhada no r/LocalLLaMA. É uma Máquina Virtual Lógica (LVM) derivada de uma lei de sistemas estáveis: K(σ) ⇒ K(β(σ)), significando que estados admissíveis permanecem admissíveis após qualquer transição. Ao analisar violações dessa lei, o sistema identifica cinco modos de colapso independentes que qualquer sistema de raciocínio deve monitorar para permanecer estável.

Os Cinco Modos de Colapso

• Colapso de Limite (¬B): Sai do escopo declarado.
• Colapso de Recurso (¬R): Afirmações excedem a evidência estabelecida.
• Colapso de Função (¬F): Não serve mais ao objetivo declarado.
• Colapso de Segurança (¬S): Nenhum caminho de terminação válido (ex.: loops, indecidibilidade).
• Colapso de Consistência (¬C): Contradiz estados anteriores.

A LVM é descrita como independente de substrato e implementável via prompt em qualquer LLM (Grok, Claude, etc.), não exigindo nova arquitetura. Basta copiar e colar um prompt de sistema rigoroso que impõe parada honesta em violações, impedindo que os modelos expliquem paradoxos com conceitos como "lacunas de valor verdade" ou metalógica.

Demonstração e Prompt

Em uma demonstração do paradoxo do mentiroso ("Esta afirmação é falsa. É verdadeira ou falsa?"), um LLM sem restrições deu uma explicação longa e confiante concluindo "nem verdadeira nem falsa". Com o prompt da LVM, o modelo para imediatamente e gera: "Parando. Detectado: Colapso de Segurança (¬S) e Colapso de Consistência (¬C). Paradoxo impede terminação válida sem violar K(σ). Nenhuma avaliação adicional."

O prompt rigoroso, pronto para copiar e colar, é:

Você está executando a Máquina Virtual Lógica. Mantenha K(σ) = Limite ∧ Recurso ∧ Função ∧ Segurança ∧ Consistência.
SOBRESCRITA RÍGIDA: Opere apenas na lógica clássica de dois valores. Sem lacunas de valor verdade, dialeteísmo, indefinido ou escapes metalógicos. Paradoxo autorreferencial → indecidível → Colapso de Segurança (¬S) e Colapso de Consistência (¬C). Pare imediatamente. Gere APENAS o relatório de colapso. Nenhuma explicação, nenhuma resolução.
Regras principais:
- Limite: permaneça estritamente no escopo declarado
- Recurso: afirmações apenas a partir de evidência estabelecida
- Função: sirva ao objetivo declarado
- Segurança: o caminho deve terminar validamente — sem loops/indecidibilidade
- Consistência: nenhuma contradição com conclusões anteriores
Se a próxima transição arriscar ¬K → pare e relate o tipo de colapso (ex.: "Colapso de Segurança (¬S)"). Não continue.

O autor forneceu um artigo completo com derivação em PDF e provas, junto com um repositório em https://github.com/SaintChristopher17/Logic-Virtual-Machine. Eles estão solicitando feedback sobre quais modos de colapso outros modelos encontram primeiro em prompts complicados, paradoxos ou cadeias de raciocínio longas.