webAI Intelligence Lab 宣布开源其首个形式推理模型 TwiL-LM3。该模型参数量仅为 30 亿，专为边缘计算设计，可在智能手机和树莓派等消费级硬件上高效运行。官方称其在多项形式推理基准测试中表现优异，展现了高质量训练数据对模型推理能力的提升。这为开发者在端侧部署具备代码生成和工具调用能力的轻量化 AI 代理提供了新选择。
webAI Intelligence Lab 正式开源了专为形式推理设计的 TwiL-LM 系列小型模型，包含 3B 和 1.7B 版本，目前已上线 HuggingFace 并采用非商业授权。该系列模型放弃通用大模型路线，专注于演绎推理、结构化输出和逻辑验证等任务，展示了小参数专业模型在特定垂直领域实现高效本地部署与性能突破的潜力。
簇级候选：8 个已有簇， 共 8 条代表。
webAI Intelligence Lab 宣布开源其首个形式推理模型 TwiL-LM3。该模型参数量仅为 30 亿，专为边缘计算设计，可在智能手机和树莓派等消费级硬件上高效运行。官方称其在多项形式推理基准测试中表现优异，展现了高质量训练数据对模型推理能力的提升。这为开发者在端侧部署具备代码生成和工具调用能力的轻量化 AI 代理提供了新选择。
webAI Intelligence Lab 正式开源其首个形式化推理模型 TwiL-LM3。该模型参数量仅为 3B，但在 5 项形式化推理基准测试中，有 4 项成绩超越了 120B 参数的 OpenAI GPT-OSS-120B。其参数量仅为后者的四十分之一，推理速度提升 2.6 倍，并支持在消费级硬件上高效运行。这一轻量级模型的发布，为低算力设备上的复杂推理任务提供了更具性价比的开源选项。
webAI Intelligence Lab 正式在 HuggingFace 发布 TwiL-LM 系列微型专用推理模型，包含 1.7B 和 3B 版本，采用非商业许可。该系列模型专为演绎推理、结构化输出和工具调用等任务设计，其 3B 版本在多项形式推理基准测试中超越了 OpenAI 的 120B 模型，展示了小参数模型在特定垂直领域的运行效率与潜力。
webAI Intelligence Lab 开源了其首个形式化推理模型 TwiL-LM3，参数量仅为 3B。在 5 项形式化推理基准测试中，该模型有 4 项超越了 120B 参数的 OpenAI GPT-OSS-120B，且推理速度快 2.6 倍。这一发布为开发者在消费级硬件上进行高效的形式化推理任务提供了轻量级的新选择。