WebAI open-sources TwiL-LM3, a 1.7B formal reasoning model that outperforms OpenAI’s gpt-oss-120B
WebAI open-sources TwiL-LM3, a 1.7B formal reasoning model that outperforms OpenAI’s gpt-oss-120B
- Read at Crypto Briefing
- Mon, 10 Aug 2026 19:08:18 +0000