webAI 发布 3.66B 形式逻辑模型，2.09 GiB 可笔记本本地跑
kimmonismus · x · 2026-10-02
webAI 发布专攻形式逻辑的小模型 TwIL-LM3-Pro（3.66B 参数），基于 IBM Granite 4.2 后训练而成，能判断结论是否由前提推出、将语句翻译为逻辑式、并评审形式化证明。
- 官方测试中，其形式逻辑综合成绩约等于 Qwen3-8B，而参数量不到一半
- 在六个形式逻辑任务上全面领先公开的 VibeThinker-3B
- Q4 GGUF 权重仅 2.09 GiB，可经 llama.cpp 本地运行，推理完全留在本机
- 权重与模型卡已开放（非商业许可）
所属事件:webAI 开源 3.66B 形式逻辑模型 笔记本即可本地运行(3 条相关)→
「模型」频道最新
- Bindu Reddy 预告 Fable 5.5 最早下周发布，称将是最强可用模型 — bindureddy · 2026-10-02
- 开源本地模型「够用论」：日常任务不需要前沿智商 — Dan_Jeffries1 · 2026-10-02
- 开源权重模型落后闭源仅 4 个月,适用边界在哪里 — TechPreacher · 2026-10-02
- MiniMax M3.1 Flash 中途加入 RSI Arena,训练算力竞争升温 — my_cat_can_code · 2026-10-02
- 摩根士丹利提出并行回火采样 PPT,推理期替代 RL 后训练追平前沿模型 — morganstanley · 2026-10-02
- 从 o1 到 GPT-5.6 Instant:两年进步速度「荒谬」 — VraserX · 2026-10-02