11:35shao__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-LM3webAIGPT-OSS10 个信源在谈事件专题推荐理由:3B 的小模型在推理上干翻了 120B 的大家伙,还能跑在树莓派上,开源了直接就能玩。原文稍后读已读值得跟进有用关注 TwiL-LM3