返回
原文
Rohan Paul@rohanpaul_ai
47AI 编辑部评分，满分 100
2026-08-11 02:59· 26分钟前
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 StoutToday, 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...
开源生态推理模型发布端侧

来源：Rohan Paul · x.com

导出 Markdown
返回
47在 X 查看原推
导出 Markdown
Rohan Paul · @rohanpaul_ai · X·2026-08-11 02:59·26分钟前
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 StoutToday, 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...

来源：Rohan Paul· x.com

开源生态推理模型发布端侧