MolLean: nova linguagem quer travar alucinações da IA em química
Um novo sistema chamado MolLean obriga os modelos de IA a verificar cada etapa do raciocínio químico contra um estado molecular explícito, reduzindo erros inventados.
O artigo "MolLean: A Process-Verifiable Language for Chemical Reasoning" (arXiv:2610.20459, submetido a 14 de outubro de 2026) ataca um problema conhecido: cadeias de raciocínio químico geradas por IA podem incluir afirmações inventadas sobre estrutura ou propriedades moleculares.
O MolLean usa um núcleo baseado na linguagem de verificação formal Lean para checar transições de estado e afirmações sobre leituras moleculares. Em testes com o modelo Qwen3.6-27B sobre 8.800 exemplos em 12 tarefas, a versão com refinamento de toda a cadeia de raciocínio superou o método tradicional de cadeia de pensamento direta em todas as 12 tarefas.
Fontes
- arXiv arxiv.org
Resumo editorial em português feito com apoio de inteligência artificial a partir das fontes indicadas. Como fazemos o Boletim IA.