3B 模型 TwIL 在形式推理上击败 120B 开源模型
Socially-great8275 · reddit · 2026-09-02
webAI 发布了专注于形式逻辑验证的 TwIL 模型族，包含 1.7B 和 3B 三个版本。其中 3B 的 TwIL-LM3 在 5 项形式推理基准中的 4 项击败了 120B 参数的开源模型 gpt-oss-120b，且体积小 40 倍，可在 iPhone 上运行。其采用了 WiSE-FT 权重插值技术来控制微调时的灾难性遗忘。模型采用非商业许可证。
「模型」频道最新
- GPT 5.6 Sol 全程制作动画引发技术质疑 — chongdashu · 2026-09-02
- MiniMax-H3-Turbo 开源 LoRA 去审查版登顶 Hugging Face — Pepe104 · 2026-09-02
- 网友猜测：Fable 是循环两倍的 Opus，价格才正好翻倍 — cgarciae88 · 2026-09-02
- 实测对比：Gemini 3.8 Flash 已面向 Pro/Ultra 账号推送 — Able-Line2683 · 2026-09-02
- Fable 5.1 高度复刻马里奥 1-1 关卡，网友呼吁改考关卡设计 — max_paperclips · 2026-09-02
- 反驳模型缩小论：2T 参数成新常态，KV 缓存年降 10 倍 — zephyr_z9 · 2026-09-02