webAI 相关 AI 资讯 · AITOP · AI热报

8月11日

14:25

14:25

官方一手marktechpost@Michal Sutter

webAI发布了TwIL-LM模型家族，包含1.7B和3B参数版本，能将英文翻译成一阶逻辑并检查结论是否从前提推出。3B模型可在CPU或4GB显存上运行，1.7B模型下载大小为1.06GB。两个版本均采用非商业许可。模型卡显示，头条基准分数属于未发布的检查点，而非Hub上的权重。

AI模型 TwIL-LM webAI 形式逻辑

推荐理由：想本地跑形式逻辑？TwIL-LM 1.7B和3B能翻译英文到一阶逻辑，3B只要4GB显存，但注意基准分数是未发布版本的。

11:35

11:35

shao__meng@shao__meng

精选

webAI Intelligence Lab 开源了首个形式化推理模型 TwiL-LM3，参数量仅 3B。在 5 项形式化推理基准中，TwiL-LM3 有 4 项超过 OpenAI 的 GPT-OSS-120B，参数量约为后者的 1/40，推理速度快 2.6 倍。该模型基于 webAI 自有的验证数据集训练，而非抓取互联网数据，可在树莓派或 iPhone 等消费级硬件上运行。

AI模型 TwiL-LM3 webAI GPT-OSS

推荐理由：3B 的小模型在推理上干翻了 120B 的大家伙，还能跑在树莓派上，开源了直接就能玩。