webAI lança modelos de raciocínio lógico formal

A webAI publicou TwIL-LM, uma família de modelos de raciocínio lógico formal com 1,7B e 3B de parâmetros projetada para tarefas de automatização. Os modelos traduzem declarações em inglês em lógica de primeira ordem e verificam conclusões lógicas, funcionando localmente em hardware para consumidores com compilações quantizadas em menos de 2GB. Os benchmarks da empresa mostram que a variante de 3B supera modelos maiores em quatro dos cinco benchmarks de raciocínio formal, embora a implantação exija uma licença não comercial ou acordo comercial separado.