Meng Shaomeng shao当日精选
webAI Intelligence Lab 开源了其首个形式化推理模型 TwiL-LM3，参数量仅 3B 模型在 5 项形式化推理基准测试中，有 4 项超过了 OpenAI 的 GPT-OSS-120B（120B 参...
AI 摘要
webAI Intelligence Lab 开源了形式化推理模型 TwiL-LM3，仅3B参数在4项基准测试中超越OpenAI的120B模型，推理速度快2.6倍。
推荐理由常规快讯，保留列表
原文
无法获取正文，可打开下方原始链接查看。
64/100
讨论
暂无评论。