3.66B 形式逻辑模型 TwIL-LM3-Pro 开源,CPU 跑出 Qwen3-8B 水平
CommonMinimum587 · reddit · 2026-10-13
webAI 发布 TwIL-LM3-Pro：基于 IBM Granite 4.2 3B 的 3.66B 模型，专为形式逻辑后训练（蕴含检查、规则归纳、Lean 证明批判），非通用助手。
- 训练配方：LoRA SFT + checkpoint 合并 + 对程序化验证器做 RL；同一配方曾把 VibeThinker-3B 的逻辑分从 37.4 提到 54.1
- 成绩：逻辑综合 55.4（基座 Granite 43.1，Qwen3-8B 53.4，作者称与 Qwen 差距属采样噪声）；严格多选逻辑 41% vs 次优 17%；BBH 逻辑 95.4%
- 短板：规则归纳/蕴含/Lean 形式化仍输给 gpt-oss-120b；通用基准平均 79.0 低于 Qwen3-8B 的 84.9；逻辑题思考长（约 1900 token/答），四分之一答案触发长度上限
- CPU 亮点：纯 CPU Xeon（15GiB RAM）约 10.5 tok/s，号称比同硬件 Qwen3.8-27B 快 98 倍；Q4KM GGUF 仅 2.09GiB，支持 Ollama/LM Studio/llama.cpp，建议 temp=0、2048+ token 预算复现官方成绩
「Infra」频道最新
- IFM 开源 RL360:8192 并发沙箱、130 万 rollouts 的 RL 基建 — rupspace · 2026-10-23
- SpaceX 拟接入 8 万座美国基站，博彩市场给了 29% 成运营商概率 — Polymarket · 2026-10-23
- Modular 宣布 MAX 框架开源：AI 计算不应被单一芯片厂商锁定 — clattner_llvm · 2026-10-23
- Claude 模型登陆 Google Cloud:Anthropic 托管版正式可用 — claudeai · 2026-10-23
- GLM-5.3-Flash 实现 1M token 上下文训练，较基线提升 64 倍 — AndrewLBeam · 2026-10-23
- Perplexity 联手 AMD 推便携 AI 主机，本地跑 27B 模型做实时研究 — AravSrinivas · 2026-10-23