# webAI Intelligence Lab 开源了其首个形式化推理模型 TwiL-LM3，参数量仅 3B 模型在 5 项形式化推理基准测试中，有 4 项超过了 OpenAI 的 GPT-OSS-120B（120B 参...

- 来源：Meng Shao
- 发布时间：2026-08-11 10:42
- AIWatch 分数：64
- AIWatch 标记：当日精选
- AIWatch 链接：https://aiwatch.icu/events/evt_01kzqff0naynjwm8eden4wxcvj
- 原文链接：https://x.com/shao__meng/status/2087006760355954764

## 精选理由

常规快讯，保留列表

## AI 摘要

webAI Intelligence Lab 开源了形式化推理模型 TwiL-LM3，仅3B参数在4项基准测试中超越OpenAI的120B模型，推理速度快2.6倍。

## 正文

webAI Intelligence Lab 开源了形式化推理模型 TwiL-LM3，仅3B参数在4项基准测试中超越OpenAI的120B模型，推理速度快2.6倍。