webAI Intelligence Lab 开源 3B 形式化推理模型 TwiL-LM3

摘要与判断

webAI Intelligence Lab 正式开源其首个形式化推理模型 TwiL-LM3。该模型参数量仅为 3B，但在 5 项形式化推理基准测试中，有 4 项成绩超越了 120B 参数的 OpenAI GPT-OSS-120B。其参数量仅为后者的四十分之一，推理速度提升 2.6 倍，并支持在消费级硬件上高效运行。这一轻量级模型的发布，为低算力设备上的复杂推理任务提供了更具性价比的开源选项。

Topics

引用和原文

• webAI Intelligence Lab 开源了其首个形式化推理模型 TwiL-LM3，参数量仅 3B 模型在 5 项形式化推理基准测试中，有 4 项超过了 OpenAI 的
• 原文链接

Trace

Raw Item

raw_aff6e5d08ee9472e

Processed Item

processed_4800ca126c7a4b61

Source

source_x_shao_meng

Cluster

查看所属簇

LLM Logs

llm_1f8203e470ac40fe, llm_4aba5fb6b0634dd6, llm_f09b767bac244754

Coze Loop

456fe06baf582ac51d38a9a6b1921155