webAI 发布端侧逻辑模型 TwiL-LM，3B 参数跑赢 120B
rohanpaul_ai · x · 2026-08-11
webAI 开源了专为形式逻辑推理设计的模型家族 TwiL-LM（含 1.7B 和 3B 版本）。该模型在 5 项形式推理基准测试中有 4 项击败了参数量大其 40 倍的 gpt-oss-120b，且推理速度快 2.6 倍。
- 核心能力：将自然语言转化为形式逻辑，进行多步演绎推理，可广泛应用于合规审查、合同逻辑判断及智能体工具调用。
- 端侧运行：1.7B 版本体量仅约 1GB，完全适配 iPhone 等消费级硬件，支持企业本地化部署。
- 训练策略：未采用海量网络爬取数据，而是基于自研的高质量数据引擎，通过约 72M 参数的 LoRA 适配器微调而成。
「模型」频道最新
- 为合规欧盟AI法案，Anthropic将为Claude生成文本嵌入隐形水印 — ___Patrice___ · 2026-08-11
- 本地模型网页设计大比拼：Muse Glimmer 对决 Qwen 与 DeepSeek — ShadyShroomz · 2026-08-11
- Muse Glimmer 本地编码实测：20GB 内存可跑，能力不及 Qwen — curiousily_ · 2026-08-11
- Perplexity Agent API 上线 Kimi K3，附自动化数据报告实践 — AravSrinivas · 2026-08-11
- 仅改 PDF 文件名就能刷高分？研究揭示 LLM 评测易受暗示 — generativist · 2026-08-11
- DeepSeek 开源 OCR 2 模型：引入视觉因果流，精准转 Markdown — tom_doerr · 2026-08-11