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.
📖 Read the full source: r/LocalLLaMA
👀 See Also

Meera: Um Assistente de IA Totalmente Offline para o Gnome Linux Construído no Qwen3.5-2B
Meera é um assistente de IA offline para o Gnome Desktop que usa Qwen3.5-2B-Q4_K_M (1,2 GB) e llama-cpp com suporte a Vulkan. Ele utiliza um segundo modelo de embedding pequeno para seleção de ferramentas e RAG, evitando o inchaço de embeddings no prompt. Funciona no Ubuntu 24.04 com RTX 5090 e Fedora Silverblue no Intel i3.

Habilidade OpenClaw para Transcrição de Reuniões Locais com Whisper
Uma nova habilidade do OpenClaw chamada ghostmeet oferece transcrição local de reuniões usando o Whisper. Ela captura áudio das abas do navegador através de uma Extensão do Chrome e pode gerar resumos usando o Claude, com todo o áudio e transcrição processados localmente na sua máquina.

Traduza para pt: AGENTS.md Esquema para Bases de Conhecimento Compiladas por LLM com Camada de Aprendizado
AGENTS.md v1.0 fornece um padrão de esquema para o Claude construir e manter wikis de pesquisa pessoal a partir de fontes brutas, incluindo uma camada de aprendizagem por repetição espaçada com geração automática de flashcards e rastreamento de lacunas de conhecimento.

Project Headroom: Ferramenta Open Source de Engenheiro da Netflix Reduz Custos de Tokens de IA em 90%
Tejas Chopra, engenheiro sênior da Netflix, criou o Project Headroom, um proxy open source que comprime a entrada de contexto de IA em até 90%, economizando cerca de US$ 700 mil entre usuários desde janeiro de 2026. Ele roda localmente na porta 8787 e envolve qualquer CLI de LLM.