webAI Releases TwiL-LM, a Family of Formal-Logic Models That Outreason a 120B Model and Run on an iPhone

Wait 5 sec.

Built for compliance rules, contract logic, and research reasoning, the 3B model beats OpenAI's open-weights gpt-oss-120b, a model 40× its size, on four of five formal-reasoning benchmarks, while the 1-gigabyte 1.7B variant outperforms every sub-2B model webAI evaluated. AUSTIN, Texas,...