webAI has released a 3.66B model for formal logic that can run locally on a laptop. In webAI’s tests, TwIL-LM3-Pro is roughly level with Qwen3-8B on the headline formal-logic composite, with less than half the parameters. It also leads the public VibeThinker-3B checkpoint on all