# webAI 开源 1.7B 逻辑模型 TwiL-LM3，击败 GPT-OSS-120B

- 来源：Rohan Paul (@rohanpaul_ai)
- 发布时间：2026-08-11 02:59
- AIHOT 分数：47
- AIHOT 链接：https://aihot.virxact.com/items/cmsnm4s0f0d8prohfn6ktctjk
- 原文链接：https://x.com/rohanpaul_ai/status/2086890254011924778

## AI 摘要

webAI 开源 TwiL-LM3，一款 1.7B 参数的正式逻辑推理模型，在 5 项形式推理基准中 4 项超越 OpenAI 的 GPT-OSS-120B，参数量少 40 倍，推理速度快 2.6 倍，可在手机和树莓派等消费级硬件上运行。该模型通过 289MB LoRA 适配器微调基础模型而来，基于专有数据引擎训练，专注于将自然语言转化为形式逻辑并验证结论。

## 正文

webAI built a 1-gigabyte logic expert open-source model that runs on a phone and out-reasons models more than twice its size

TwiL-LM3, a 1.7B formal-logic model that beats OpenAI's gpt-oss-120b on 4 of 5 formal reasoning benchmarks while running efficiently on consumer hardware. Available on Huggingface.

That's 40× fewer parameters, 2.6× faster inference

The model does one specialized task, turning plain English into formal logic and checking whether conclusions follow from premises.

i.e. taking statements written in ordinary language and working out, step by step, what does and does not follow from them.

Its trained on a purpose-engineered, proprietary formal-logic data engine built from open sources.

Instead of training from scratch, webAI fine-tuned base models with a 289MB LoRA adapter of roughly 72M parameters.

### 引用推文

> David Stout：Today, we're excited to open-source TwiL-LM3, the first formal reasoning model from the webAI Intelligence Lab. At just 3 billion parameters, TwiL-LM3 outperfor...