webAI 放出了一个 8B 的小模型 TwIL-8B,专攻数学和编程,跑分居然赢过了大几倍的 Gemma 4 31B,本地部署党可以看看 HuggingFace。
#webAI
webAI 出了个能在 MacBook 本地跑的 8B 开源推理模型,还有配套 Mac 应用,拿来做本地智能体团队挺合适。
An 8.8B model matching near-frontier coding and math quality at consumer-hardware size changes the calculus for local inference, where running Claude- or GPT-class ability previously required cloud APIs. Developers building offline or cost-sensitive tools can deploy it from a single quantized 4.98 GiB file on commodity machines. Its efficiency-trained reasoning also cuts token counts, which matters for anyone benchmarking small models against Qwen3.5-9B or Gemma 4 31B.
webAI 用 IBM Granite 4.2 8B 调出了个 8.8B 小模型,MATH-500 拿到 98.2,做数学和代码推理的可以看看,但知识问答是短板。
webAI 开源了 88 亿参数的 TwIL-8B,编码、指令遵循、数学都能打到前沿模型九成左右的成绩,还小到自己的电脑能跑,权重直接放 Hugging Face 上了。
This model demonstrates efficient parameter utilization for specialized logical reasoning, making advanced AI capabilities accessible on consumer hardware. Developers working on formal verification systems or educational tools can leverage this lightweight model for local deployment without cloud dependencies.
This model represents the growing trend of efficient post-training techniques enabling powerful reasoning on consumer hardware. For developers and researchers working with limited resources, TwIL-LM3-Pro offers state-of-the-art reasoning capabilities that can run locally without cloud dependency, making advanced AI more accessible for edge computing applications.
美国3.66B模型TwIL-LM3-Pro在形式逻辑测试中大幅领先中国VibeThinker-3B等模型,且支持本地运行。
想本地跑形式逻辑?TwIL-LM 1.7B和3B能翻译英文到一阶逻辑,3B只要4GB显存,但注意基准分数是未发布版本的。