webAI lanza modelos de razonamiento lógico formal

webAI publicó TwIL-LM, una familia de modelos de razonamiento lógico formal con parámetros de 1,7B y 3B diseñados para tareas de automatización. Los modelos traducen declaraciones en inglés a lógica de primer orden y verifican conclusiones lógicas, ejecutándose localmente en hardware para consumidores con compilaciones cuantificadas en menos de 2GB. Los benchmarks de la empresa muestran que la variante de 3B supera modelos más grandes en cuatro de cinco puntos de referencia de razonamiento formal, aunque la implementación requiere una licencia no comercial o un acuerdo comercial separado.