{"@context":"https://schema.org","@type":"NewsArticle","generatedAt":"2026-08-11T11:14:02.523Z","headline":"webAI 发布 TwIL-LM：1.7B 和 3B 形式逻辑模型家族，可在本地硬件上运行","description":"webAI 发布 TwIL-LM 形式逻辑模型家族，含 1.7B 和 3B 两个版本，均可在本地硬件运行，仅限非商业使用。其中 TwIL-LM3 为 SmolLM3-3B 的合并微调版本，在六项平均得分上以 0.4488 落后于 gpt-oss-120b 的 0.5192，但生成效率更高，每秒可处理 32.9 个答案，而后者仅为 4.2。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","url":"https://www.aioga.com/news/cmsoasx090jnrrofwelid3gei/","mainEntityOfPage":"https://www.aioga.com/news/cmsoasx090jnrrofwelid3gei/","datePublished":"2026-08-11T06:20:09.000Z","dateModified":"2026-08-11T06:20:09.000Z","inLanguage":"zh-CN","publisher":{"@type":"NewsMediaOrganization","name":"Aioga","url":"https://www.aioga.com"},"citation":["https://www.marktechpost.com/2026/08/10/webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-autoformalization-on-local-hardware","https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei"],"canonicalUrl":"https://www.aioga.com/news/cmsoasx090jnrrofwelid3gei/","directAnswer":{"@type":"Answer","text":"Aioga 编辑摘要：webAI 发布 TwIL-LM 形式逻辑模型家族，含 1.7B 和 3B 两个版本，均可在本地硬件运行，仅限非商业使用。 Aioga 将其归入「行业动态」方向，重点关注它对真实使用和行业竞争的影响。","url":"https://www.aioga.com/news/cmsoasx090jnrrofwelid3gei/","dateCreated":"2026-08-11T06:20:09.000Z","author":{"@type":"Organization","@id":"https://www.aioga.com/authors/aioga-editorial/#editorial-team","name":"Aioga Editorial Team","url":"https://www.aioga.com/authors/aioga-editorial/"}},"evidence":[{"@type":"CreativeWork","name":"marktechpost.com source article","url":"https://www.marktechpost.com/2026/08/10/webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-autoformalization-on-local-hardware","datePublished":"2026-08-11T06:20:09.000Z","provider":{"@type":"Organization","name":"marktechpost.com","url":"https://www.marktechpost.com/2026/08/10/webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-autoformalization-on-local-hardware"}},{"@type":"CreativeWork","name":"AIHot archive record","url":"https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","datePublished":"2026-08-11T06:20:09.000Z","provider":{"@type":"Organization","name":"AIHot","url":"https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei"}}],"aggregationSource":"MarkTechPost（RSS）","originalPublisher":{"name":"marktechpost.com","url":"https://www.marktechpost.com/2026/08/10/webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-autoformalization-on-local-hardware"},"geoDeepAnswer":null,"article":{"id":"cmsoasx090jnrrofwelid3gei","slug":"cmsoasx090jnrrofwelid3gei","url":"https://www.aioga.com/news/cmsoasx090jnrrofwelid3gei/","title":"webAI 发布 TwIL-LM：1.7B 和 3B 形式逻辑模型家族，可在本地硬件上运行","title_en":"","summary":"webAI 发布 TwIL-LM 形式逻辑模型家族，含 1.7B 和 3B 两个版本，均可在本地硬件运行，仅限非商业使用。其中 TwIL-LM3 为 SmolLM3-3B 的合并微调版本，在六项平均得分上以 0.4488 落后于 gpt-oss-120b 的 0.5192，但生成效率更高，每秒可处理 32.9 个答案，而后者仅为 4.2。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","source":"MarkTechPost（RSS）","sourceUrl":"https://www.marktechpost.com/2026/08/10/webai-releases-twil-lm-a-1-7b-and-3b-formal-logic-model-family-for-autoformalization-on-local-hardware","aiHotUrl":"https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","publishedAt":"2026-08-11T06:20:09.000Z","category":"行业动态","score":58,"selected":false,"articleBody":["webAI has released TwIL-LM：https://huggingface.co/webAI-Official/TwIL-LM, a two-model family of formal-logic reasoners at 1.7B and 3B parameters：https://www.webai.com/blog/webai-releases-twil-lm-a-family-of-formal-logic-models-that-outreason-a-120b-model-and-run-on-an-iphone. The 3B member, TwIL-LM3：https://huggingface.co/webAI-Official/TwIL-LM3, is a merged fine-tune of SmolLM3-3B：https://huggingface.co/HuggingFaceTB/SmolLM3-3B; the 1.7B member is a PEFT LoRA adapter for SmolLM2-1.7B-Instruct：https://huggingface.co/HuggingFaceTB/SmolLM2-1.7B-Instruct. Both target autoformalization：https://arxiv.org/abs/2205.12615: translating English into first-order logic and checking whether a conclusion follows from its premises. Both run locally, with a 1.06 GB quantized build for the 1.7B and a 1.78 GiB Q4_K_M GGUF for the 3B. webAI’s announcement：https://www.webai.com/blog/webai-releases-twil-lm-a-family-of-formal-logic-models-that-outreason-a-120b-model-and-run-on-an-iphone frames the release around beating gpt-oss-120b on four of five formal-reasoning lanes.","Partially . Non-commercial use only, as of now.","Both checkpoints ship under the webAI Non-Commercial License ver. 1.0：https://huggingface.co/webAI-Official/TwIL-LM3. Revenue-generating deployment requires a separate agreement with webAI.","Four stages sit on top of the base model. LoRA supervised fine-tuning on a synthetic formal-logic corpus. Checkpoint fusion, averaging intermediate SFT checkpoints in parameter space. WiSE-FT interpolation back toward the pretrained base at λ = 0.25 . Then MGPO, an entropy-weighted GRPO：https://arxiv.org/abs/2402.03300 stage run against a programmatic verifier. The published checkpoint is step 2071.","That λ is load-bearing: only a quarter of the fine-tuned delta is retained. A sibling arm that skipped the interpolation scored higher in-domain, at macro gate 0.515, but gave back roughly twelve points of held-out capability. webAI did not publish that arm.","webAI's announcement lists 96.4 on rule induction, 87.6 on semantic parsing, 64.6 on Lean formalization, 52.0 on exact-format answering, and 68.7 on entailment labeling.","It reports two tracks. On Track A, in-domain formal logic, TwIL-LM3 scores 0.4488 on the six-lane average and 0.4218 on the macro gate, the metric the training pipeline gates on. It leads every arm up to and including LFM2.5-8B-A1B on all six objective lanes, at 0.4218 against 0.3757 with a third of the parameters. It does not lead the two largest arms. Qwen3-8B：https://huggingface.co/Qwen/Qwen3-8B takes the gate 0.5336 to 0.4218, but most of that is loose-match credit; under strict-7 the two sit at 0.2093 and 0.1971. gpt-oss-120b：https://huggingface.co/openai/gpt-oss-120b takes the six-lane average 0.5192 to 0.4488.","Efficiency is where the model card is unambiguous. TwIL-LM3 produces the shortest generations of any arm, 482 tokens on Track B, and consequently the most answers per second at 32.9 against the 120B's 4.2.","TwIL-LM3 improves in-domain by +26% relative, macro gate 0.336 to 0.422, while also gaining +0.022 on the held-out core average. The model card calls it the only arm in the project that gains on both tracks. LogicBench moves to 0.7167 from 0.6467. GSM8K slips slightly to 0.8733 from 0.8833, and IFEval regresses to 0.6433 from 0.6767.","The 1.7B is a different trade. Its macro-primary score is 0.361 against 0.185 for the unadapted base. Out-of-distribution results are mixed: LogicBench BQA improves to 0.590 from 0.563, while GSM8K falls to 0.380 from 0.413 and ARC-C chain-of-thought falls to 0.463 from 0.587.","Need to partner with us for promoting your GitHub Repo OR Hugging Face Page OR Product Release OR Webinar etc.? Connect with us ：https://forms.gle/wbash1wF6efRj8G58","Asif Razzaq is the CEO of Marktechpost Media Inc.. As a visionary entrepreneur and engineer, Asif is committed to harnessing the potential of Artificial Intelligence for social good. His most recent endeavor is the launch of an Artificial Intelligence Media Platform, Marktechpost, which stands out for its in-depth coverage of machine learning and deep learning news that is both technically sound and easily understandable by a wide audience. The platform boasts of over 2 million monthly views, illustrating its popularity among audiences."],"articleImages":[{"sourceUrl":"https://www.marktechpost.com/wp-content/uploads/2026/08/Screenshot-2026-08-10-at-11.11.44-PM-1.png","alt":"","afterParagraph":7,"url":"/media/articles/cmsoasx090jnrrofwelid3gei/7e202bfe43e77166.webp"},{"sourceUrl":"https://www.marktechpost.com/wp-content/uploads/2019/06/Screen-Shot-2021-09-14-at-9.02.24-AM-300x300.png","alt":"","afterParagraph":10,"url":"/media/articles/cmsoasx090jnrrofwelid3gei/787a6d54564e8e19.webp"},{"sourceUrl":"https://www.marktechpost.com/wp-content/uploads/2026/08/blog61912-7-100x70.png","alt":"Meta AI Releases Muse Glimmer: A 30B Open-Weights Agentic Model That Runs on One Consumer GPU","afterParagraph":11,"url":"/media/articles/cmsoasx090jnrrofwelid3gei/f0c54674efc463c8.webp"},{"sourceUrl":"https://www.marktechpost.com/wp-content/uploads/2026/08/blog61912-6-100x70.png","alt":"ByteDance Seed Introduces SeedRealtime","afterParagraph":11,"url":"/media/articles/cmsoasx090jnrrofwelid3gei/b3cae156694b5e86.webp"}],"mediaStatus":"ok","articleBodyZh":["webAI 发布了 TwIL-LM：https://huggingface.co/webAI-Official/TwIL-LM，这是一个参数为 1.7B 和 3B 的形式逻辑推理模型家族：https://www.webai.com/blog/webai-releases-twil-lm-a-family-of-formal-logic-models-that-outreason-a-120b-model-and-run-on-an-iphone。3B 成员 TwIL-LM3：https://huggingface.co/webAI-Official/TwIL-LM3，是 SmolLM3-3B：https://huggingface.co/HuggingFaceTB/SmolLM3-3B 的合并微调版本；1.7B 成员是 SmolLM2-1.7B-Instruct：https://huggingface.co/HuggingFaceTB/SmolLM2-1.7B-Instruct 的 PEFT LoRA 适配器。两者都针对自动形式化：https://arxiv.org/abs/2205.12615——将英语翻译成一阶逻辑并检查结论是否由前提推导出。两者都能本地运行，1.7B 量化版本大小为 1.06 GB，3B 的 Q4_K_M GGUF 为 1.78 GiB。webAI 的公告：https://www.webai.com/blog/webai-releases-twil-lm-a-family-of-formal-logic-models-that-outreason-a-120b-model-and-run-on-an-iphone 将此次发布定位为在五条形式推理赛道中的四条击败 gpt-oss-120b。","部分可用。现阶段仅限非商业用途。","两个检查点均在 webAI 非商业许可 ver. 1.0 下发布：https://huggingface.co/webAI-Official/TwIL-LM3。产生收入的部署需与 webAI 签订单独协议。","四个阶段位于基础模型之上。首先在合成形式逻辑语料库上进行 LoRA 监督微调。然后是检查点融合，在参数空间中平均中间 SFT 检查点。接着是 WiSE-FT 插值回到预训练基础，λ = 0.25。然后是 MGPO，一个熵加权 GRPO：https://arxiv.org/abs/2402.03300 阶段，对程序化验证器运行。发布的检查点为 2071 步。","该 λ 是承载参数：仅保留四分之一的微调增量。一个跳过插值的同系分支在域内得分更高，宏门控制值为 0.515，但牺牲了大约十二点的外部能力。webAI 未发布该分支。","webAI 的公告列出了规则归纳 96.4、语义解析 87.6、Lean 形式化 64.6、精确格式回答 52.0、蕴含标注 68.7。","它报告了两条赛道。在赛道A，即领域内形式逻辑方面，TwIL-LM3在六条 lanes 的平均分为 0.4488，在宏观门控（训练流程依赖的指标）上为 0.4218。它领先于所有臂直到 LFM2.5-8B-A1B，在所有六条客观 lanes 上分数为 0.4218，而后者为 0.3757，但参数只有其三分之一。它并未领先两个最大型号的臂。Qwen3-8B：https://huggingface.co/Qwen/Qwen3-8B 在宏观门控上从 0.4218 提升到 0.5336，但这大部分是宽匹配的积分；在严格的 strict-7 下，两者分别为 0.2093 和 0.1971。gpt-oss-120b：https://huggingface.co/openai/gpt-oss-120b 将六 lanes 平均成绩从 0.4488 提升到 0.5192。","效率是模型卡明确指出的优势。TwIL-LM3 生成的文本在所有臂中最短，在赛道B 上为 482 个 token，因此每秒生成的答案数量最多，为 32.9，而 120B 仅为 4.2。","TwIL-LM3 在领域内提升了 +26% 的相对值，宏观门控从 0.336 提升到 0.422，同时在保留的核心平均上也提升了 +0.022。模型卡称它是项目中唯一在两个赛道上都有提升的臂。LogicBench 从 0.6467 提升到 0.7167。GSM8K 略微下降，从 0.8833 下降到 0.8733，而 IFEval 下降从 0.6767 到 0.6433。","1.7B 型号是不同的取舍。其宏观主分数为 0.361，而未经适配的基线为 0.185。分布外的结果不一：LogicBench BQA 提升到 0.590，从 0.563，而 GSM8K 下降至 0.380，从 0.413，ARC-C 的链式思维下降至 0.463，从 0.587。","需要与我们合作推广您的 GitHub 仓库或 Hugging Face 页面或产品发布或研讨会等吗？请与我们联系：https://forms.gle/wbash1wF6efRj8G58","Asif Razzaq 是 Marktechpost Media Inc. 的 CEO。作为一位有远见的企业家和工程师，Asif 致力于利用人工智能的潜力造福社会。他最近的努力是推出人工智能媒体平台 Marktechpost，该平台以深入报道机器学习和深度学习新闻而闻名，内容既技术扎实又易于广大受众理解。该平台每月浏览量超过 200 万，显示了其在受众中的受欢迎程度。"],"translationStatus":"translated","bodyOrigin":"source-page","editorial":{"summary":"Aioga 编辑摘要：webAI 发布 TwIL-LM 形式逻辑模型家族，含 1.7B 和 3B 两个版本，均可在本地硬件运行，仅限非商业使用。 Aioga 将其归入「行业动态」方向，重点关注它对真实使用和行业竞争的影响。","background":"背景分析：模型与研究类动态需要结合能力边界、开放方式、成本、可用性和真实任务表现判断，单项指标领先不等于已经形成稳定采用。","viewpoint":"Aioga 判断：这条动态更适合作为行业观察信号，当前信息足以建立线索，但不足以推导长期结论。","implications":"影响分析：对相关团队而言，短期应先核对来源、可用范围和实际成本，再判断是否值得接入或跟进。","nextStep":"后续观察：继续观察官方文档、实际可用性、价格变化、开发者反馈和竞品回应。","evidenceRefs":["title","summary","articleBody"],"confidence":"medium","status":"published","aiGenerated":false,"autoApproved":true,"generatedBy":"rule-safe-fallback","generatedAt":"2026-08-11T11:23:42.000Z","sourceHash":"08506b6cd3cf45c0","validation":{"passed":true,"mode":"rule-safe-fallback","checks":["schema","length","source-attribution","no-html"]}},"tags":["行业动态","MarkTechPost（RSS）"],"translations":{"zh-CN":{"title":"webAI 发布 TwIL-LM：1.7B 和 3B 形式逻辑模型家族，可在本地硬件上运行","summary":"webAI 发布 TwIL-LM 形式逻辑模型家族，含 1.7B 和 3B 两个版本，均可在本地硬件运行，仅限非商业使用。其中 TwIL-LM3 为 SmolLM3-3B 的合并微调版本，在六项平均得分上以 0.4488 落后于 gpt-oss-120b 的 0.5192，但生成效率更高，每秒可处理 32.9 个答案，而后者仅为 4.2。 🔗 阅读原文 via AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"marktechpost.com","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI 发布 TwIL-LM：1.7B 和 3B 形式逻辑模型家族，可在本地硬件上运行 - Aioga AI资讯","description":"webAI 发布 TwIL-LM 形式逻辑模型家族，含 1.7B 和 3B 两个版本，均可在本地硬件运行，仅限非商业使用。其中 TwIL-LM3 为 SmolLM3-3B 的合并微调版本，在六项平均得分上以 0.4488 落后于 gpt-oss-120b 的 0.5192，但生成效率更高，每秒可处理 32.9 个答案，而后者仅为 4.2。 🔗 阅读原文 vi...","url":"https://www.aioga.com/news/cmsoasx090jnrrofwelid3gei/","articleBody":["webAI 发布了 TwIL-LM：https://huggingface.co/webAI-Official/TwIL-LM，这是一个参数为 1.7B 和 3B 的形式逻辑推理模型家族：https://www.webai.com/blog/webai-releases-twil-lm-a-family-of-formal-logic-models-that-outreason-a-120b-model-and-run-on-an-iphone。3B 成员 TwIL-LM3：https://huggingface.co/webAI-Official/TwIL-LM3，是 SmolLM3-3B：https://huggingface.co/HuggingFaceTB/SmolLM3-3B 的合并微调版本；1.7B 成员是 SmolLM2-1.7B-Instruct：https://huggingface.co/HuggingFaceTB/SmolLM2-1.7B-Instruct 的 PEFT LoRA 适配器。两者都针对自动形式化：https://arxiv.org/abs/2205.12615——将英语翻译成一阶逻辑并检查结论是否由前提推导出。两者都能本地运行，1.7B 量化版本大小为 1.06 GB，3B 的 Q4_K_M GGUF 为 1.78 GiB。webAI 的公告：https://www.webai.com/blog/webai-releases-twil-lm-a-family-of-formal-logic-models-that-outreason-a-120b-model-and-run-on-an-iphone 将此次发布定位为在五条形式推理赛道中的四条击败 gpt-oss-120b。","部分可用。现阶段仅限非商业用途。","两个检查点均在 webAI 非商业许可 ver. 1.0 下发布：https://huggingface.co/webAI-Official/TwIL-LM3。产生收入的部署需与 webAI 签订单独协议。","四个阶段位于基础模型之上。首先在合成形式逻辑语料库上进行 LoRA 监督微调。然后是检查点融合，在参数空间中平均中间 SFT 检查点。接着是 WiSE-FT 插值回到预训练基础，λ = 0.25。然后是 MGPO，一个熵加权 GRPO：https://arxiv.org/abs/2402.03300 阶段，对程序化验证器运行。发布的检查点为 2071 步。","该 λ 是承载参数：仅保留四分之一的微调增量。一个跳过插值的同系分支在域内得分更高，宏门控制值为 0.515，但牺牲了大约十二点的外部能力。webAI 未发布该分支。","webAI 的公告列出了规则归纳 96.4、语义解析 87.6、Lean 形式化 64.6、精确格式回答 52.0、蕴含标注 68.7。","它报告了两条赛道。在赛道A，即领域内形式逻辑方面，TwIL-LM3在六条 lanes 的平均分为 0.4488，在宏观门控（训练流程依赖的指标）上为 0.4218。它领先于所有臂直到 LFM2.5-8B-A1B，在所有六条客观 lanes 上分数为 0.4218，而后者为 0.3757，但参数只有其三分之一。它并未领先两个最大型号的臂。Qwen3-8B：https://huggingface.co/Qwen/Qwen3-8B 在宏观门控上从 0.4218 提升到 0.5336，但这大部分是宽匹配的积分；在严格的 strict-7 下，两者分别为 0.2093 和 0.1971。gpt-oss-120b：https://huggingface.co/openai/gpt-oss-120b 将六 lanes 平均成绩从 0.4488 提升到 0.5192。","效率是模型卡明确指出的优势。TwIL-LM3 生成的文本在所有臂中最短，在赛道B 上为 482 个 token，因此每秒生成的答案数量最多，为 32.9，而 120B 仅为 4.2。","TwIL-LM3 在领域内提升了 +26% 的相对值，宏观门控从 0.336 提升到 0.422，同时在保留的核心平均上也提升了 +0.022。模型卡称它是项目中唯一在两个赛道上都有提升的臂。LogicBench 从 0.6467 提升到 0.7167。GSM8K 略微下降，从 0.8833 下降到 0.8733，而 IFEval 下降从 0.6767 到 0.6433。","1.7B 型号是不同的取舍。其宏观主分数为 0.361，而未经适配的基线为 0.185。分布外的结果不一：LogicBench BQA 提升到 0.590，从 0.563，而 GSM8K 下降至 0.380，从 0.413，ARC-C 的链式思维下降至 0.463，从 0.587。","需要与我们合作推广您的 GitHub 仓库或 Hugging Face 页面或产品发布或研讨会等吗？请与我们联系：https://forms.gle/wbash1wF6efRj8G58","Asif Razzaq 是 Marktechpost Media Inc. 的 CEO。作为一位有远见的企业家和工程师，Asif 致力于利用人工智能的潜力造福社会。他最近的努力是推出人工智能媒体平台 Marktechpost，该平台以深入报道机器学习和深度学习新闻而闻名，内容既技术扎实又易于广大受众理解。该平台每月浏览量超过 200 万，显示了其在受众中的受欢迎程度。"]},"en":{"title":"webAI released TwIL-LM: 1.7B and 3B formal logical model families that can run on local hardware","summary":"webAI has released the TwIL-LM family of formal logic models, including versions 1.7B and 3B, both running locally on hardware and for non-commercial use only. Among them, TwIL-LM3 is a consolidated fine-tuned version of SmolLM3-3B, with an average score of 0.4488 on six items, trailing gpt-oss-120B's 0.5192, but generating more efficiently, processing 32.9 answers per second, compared to only 4.2. 🔗 Read the original article via AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"Industry","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI released TwIL-LM: 1.7B and 3B formal logical model families that can run on local hardware - Aioga AI News","description":"webAI has released the TwIL-LM family of formal logic models, including versions 1.7B and 3B, both running locally on hardware and for non-commercial use only. Among them, TwIL-LM3...","url":"https://www.aioga.com/en/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:14:52.849Z"},"ja":{"title":"webAIはTwIL-LMをリリースしました:ローカルハードウェア上で動作可能な1.7Bおよび3Bの形式論理モデルファミリー","summary":"webAIは、ハードウェア上でローカルかつ非商用利用のみで動作するバージョン1.7Bおよび3Bを含むTwIL-LMファミリーの形式論理モデルをリリースしました。 その中でもTwIL-LM3はSmolLM3-3Bの統合ファインチューニング版で、6項目で平均スコア0.4488、gpt-oss-120Bの0.5192に次ぐものの、より効率的に回答を処理し、32.9件の回答を秒間に処理し、4.2件と比べて向上しています。 🔗 原文記事はAIHOTより読むことができます。 https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"業界動向","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAIはTwIL-LMをリリースしました:ローカルハードウェア上で動作可能な1.7Bおよび3Bの形式論理モデルファミリー - Aioga AIニュース","description":"webAIは、ハードウェア上でローカルかつ非商用利用のみで動作するバージョン1.7Bおよび3Bを含むTwIL-LMファミリーの形式論理モデルをリリースしました。 その中でもTwIL-LM3はSmolLM3-3Bの統合ファインチューニング版で、6項目で平均スコア0.4488、gpt-oss-120Bの0.5192に次ぐものの、より効率的に回答を処理し、32.9...","url":"https://www.aioga.com/ja/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:15:01.834Z"},"ko":{"title":"webAI는 로컬 하드웨어에서 실행할 수 있는 TwIL-LM: 1.7B 및 3B 형식 논리 모델 계열을 출시했습니다","summary":"webAI는 하드웨어에서 로컬 실행되고 비상업적 용도로만 실행되는 버전 1.7B와 3B 버전을 포함한 TwIL-LM 형식 논리 모델 계열을 출시했습니다. 그중 TwIL-LM3는 SmolLM3-3B의 통합 미세 조정 버전으로, 6개 문항에서 평균 점수 0.4488을 기록해 gpt-oss-120B의 0.5192에 뒤처지지만, 더 효율적으로 답변을 생성하여 초당 32.9개의 답변을 처리하는 반면 4.2개에 불과합니다. 🔗 원문 기사는 AIHOT를 통해 읽을 수 있습니다. https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"업계 동향","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI는 로컬 하드웨어에서 실행할 수 있는 TwIL-LM: 1.7B 및 3B 형식 논리 모델 계열을 출시했습니다 - Aioga AI 뉴스","description":"webAI는 하드웨어에서 로컬 실행되고 비상업적 용도로만 실행되는 버전 1.7B와 3B 버전을 포함한 TwIL-LM 형식 논리 모델 계열을 출시했습니다. 그중 TwIL-LM3는 SmolLM3-3B의 통합 미세 조정 버전으로, 6개 문항에서 평균 점수 0.4488을 기록해 gpt-oss-120B의 0.5192에 뒤처지지만,...","url":"https://www.aioga.com/ko/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:16:02.040Z"},"es":{"title":"webAI lanzó TwIL-LM: familias formales de modelos lógicos 1.7B y 3B que pueden ejecutarse en hardware local","summary":"webAI ha lanzado la familia TwIL-LM de modelos lógicos formales, incluyendo las versiones 1.7B y 3B, ambas ejecutándose localmente en hardware y solo para uso no comercial. Entre ellos, TwIL-LM3 es una versión consolidada y ajustada de SmolLM3-3B, con una puntuación media de 0,4488 en seis ítems, por detrás de 0,5192 de gpt-oss-120B, pero generando de forma más eficiente, procesando 32,9 respuestas por segundo, frente a solo 4,2. 🔗 Lee el artículo original a través de AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"Industria","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI lanzó TwIL-LM: familias formales de modelos lógicos 1.7B y 3B que pueden ejecutarse en hardware local - Aioga Noticias de IA","description":"webAI ha lanzado la familia TwIL-LM de modelos lógicos formales, incluyendo las versiones 1.7B y 3B, ambas ejecutándose localmente en hardware y solo para uso no comercial. Entre e...","url":"https://www.aioga.com/es/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:15:59.694Z"},"fr":{"title":"webAI a publié TwIL-LM : des familles de modèles logiques formels 1.7B et 3B pouvant fonctionner sur du matériel local","summary":"webAI a publié la famille TwIL-LM de modèles logiques formels, incluant les versions 1.7B et 3B, toutes deux fonctionnant localement sur du matériel et uniquement pour un usage non commercial. Parmi eux, TwIL-LM3 est une version affinée consolidée de SmolLM3-3B, avec un score moyen de 0,4488 sur six éléments, derrière gpt-oss-120B de 0,5192, mais générant plus efficacement, traitant 32,9 réponses par seconde, contre seulement 4,2. 🔗 Lisez l’article original via AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"Industrie","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI a publié TwIL-LM : des familles de modèles logiques formels 1.7B et 3B pouvant fonctionner sur du matériel local - Aioga Actualités IA","description":"webAI a publié la famille TwIL-LM de modèles logiques formels, incluant les versions 1.7B et 3B, toutes deux fonctionnant localement sur du matériel et uniquement pour un usage non...","url":"https://www.aioga.com/fr/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:17:06.287Z"},"de":{"title":"webAI veröffentlichte TwIL-LM: 1.7B und 3B formale logische Modellfamilien, die auf lokaler Hardware laufen können","summary":"webAI hat die TwIL-LM-Familie formaler Logikmodelle veröffentlicht, darunter die Versionen 1.7B und 3B, die beide lokal auf Hardware laufen und ausschließlich für nicht-kommerzielle Zwecke verwendet werden. Darunter ist TwIL-LM3 eine konsolidierte, fein abgestimmte Version von SmolLM3-3B mit einem Durchschnittswert von 0,4488 bei sechs Items, hinter GPT-OSS-120Bs 0,5192, aber effizienter generiert und verarbeitet 32,9 Antworten pro Sekunde, verglichen mit nur 4,2. 🔗 Lesen Sie den Originalartikel über AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI veröffentlichte TwIL-LM: 1.7B und 3B formale logische Modellfamilien, die auf lokaler Hardware laufen können - Aioga KI-News","description":"webAI hat die TwIL-LM-Familie formaler Logikmodelle veröffentlicht, darunter die Versionen 1.7B und 3B, die beide lokal auf Hardware laufen und ausschließlich für nicht-kommerziell...","url":"https://www.aioga.com/de/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:17:00.788Z"},"pt-BR":{"title":"o webAI lançou TwIL-LM: famílias formais de modelos lógicos 1.7B e 3B que podem rodar em hardware local","summary":"a webAI lançou a família TwIL-LM de modelos lógicos formais, incluindo as versões 1.7B e 3B, ambas rodando localmente em hardware e apenas para uso não comercial. Entre eles, o TwIL-LM3 é uma versão consolidada e ajustada do SmolLM3-3B, com uma média de 0,4488 em seis itens, ficando atrás dos 0,5192 do gpt-oss-120B, mas gerando de forma mais eficiente, processando 32,9 respostas por segundo, contra apenas 4,2. 🔗 Leia o artigo original via AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"o webAI lançou TwIL-LM: famílias formais de modelos lógicos 1.7B e 3B que podem rodar em hardware local - Aioga Notícias de IA","description":"a webAI lançou a família TwIL-LM de modelos lógicos formais, incluindo as versões 1.7B e 3B, ambas rodando localmente em hardware e apenas para uso não comercial. Entre eles, o TwI...","url":"https://www.aioga.com/pt-BR/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:18:01.458Z"},"ru":{"title":"webAI выпустил TwIL-LM: формальные логические семейства моделей 1.7B и 3B, которые могут работать на локальном оборудовании","summary":"webAI выпустила семейство формальных логических моделей TwIL-LM, включая версии 1.7B и 3B, обе работающие локально на аппаратном устройстве и предназначенные исключительно для некоммерческого использования. Среди них TwIL-LM3 — это консолидированная и доработанная версия SmolLM3-3B со средним баллом 0,4488 по шести пунктам, уступая gpt-oss-120B 0,5192, но генерируя более эффективно, обрабатывая 32,9 ответа в секунду по сравнению с всего 4,2. 🔗 Прочитайте оригинальную статью на сайте AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI выпустил TwIL-LM: формальные логические семейства моделей 1.7B и 3B, которые могут работать на локальном оборудовании - Aioga Новости ИИ","description":"webAI выпустила семейство формальных логических моделей TwIL-LM, включая версии 1.7B и 3B, обе работающие локально на аппаратном устройстве и предназначенные исключительно для неко...","url":"https://www.aioga.com/ru/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:18:06.976Z"},"ar":{"title":"أصدرت webAI عائلات نماذج منطقية رسمية من TwIL-LM: 1.7B و3B يمكن تشغيلها على الأجهزة المحلية","summary":"أصدرت webAI عائلة نماذج المنطق الرسمية TwIL-LM، بما في ذلك الإصدارات 1.7B و3B، وكلاهما يعمل محليا على الأجهزة وللاستخدام غير التجاري فقط. من بينها، TwIL-LM3 هو نسخة موحدة ومضبوطة بدقة من SmolLM3-3B، بمتوسط درجة 0.4488 في ستة عناصر، متأخرة عن gpt-oss-120B التي كانت 0.5192، لكنها تولد أكثر كفاءة، حيث تعالج 32.9 إجابة في الثانية، مقارنة ب 4.2 فقط. 🔗 اقرأ المقال الأصلي عبر AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"أصدرت webAI عائلات نماذج منطقية رسمية من TwIL-LM: 1.7B و3B يمكن تشغيلها على الأجهزة المحلية - Aioga أخبار الذكاء الاصطناعي","description":"أصدرت webAI عائلة نماذج المنطق الرسمية TwIL-LM، بما في ذلك الإصدارات 1.7B و3B، وكلاهما يعمل محليا على الأجهزة وللاستخدام غير التجاري فقط. من بينها، TwIL-LM3 هو نسخة موحدة ومضبوطة ب...","url":"https://www.aioga.com/ar/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:19:03.273Z"},"hi":{"title":"webAI ने TwIL-LM: 1.7B और 3B औपचारिक तार्किक मॉडल परिवार जारी किए जो स्थानीय हार्डवेयर पर चल सकते हैं","summary":"webAI ने औपचारिक तर्क मॉडल के TwIL-LM परिवार को जारी किया है, जिसमें संस्करण 1.7B और 3B शामिल हैं, दोनों हार्डवेयर पर स्थानीय रूप से और केवल गैर-व्यावसायिक उपयोग के लिए चल रहे हैं। उनमें से, TwIL-LM3 SmolLM3-3B का एक समेकित फाइन-ट्यून संस्करण है, जिसमें छह वस्तुओं पर 0.4488 का औसत स्कोर है, जो gpt-oss-120B के 0.5192 से पीछे है, लेकिन अधिक कुशलता से उत्पन्न करता है, केवल 4.2 की तुलना में प्रति सेकंड 32.9 उत्तरों को संसाधित करता है। 🔗 AIHOT के माध्यम से मूल लेख पढ़ें · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI ने TwIL-LM: 1.7B और 3B औपचारिक तार्किक मॉडल परिवार जारी किए जो स्थानीय हार्डवेयर पर चल सकते हैं - Aioga AI समाचार","description":"webAI ने औपचारिक तर्क मॉडल के TwIL-LM परिवार को जारी किया है, जिसमें संस्करण 1.7B और 3B शामिल हैं, दोनों हार्डवेयर पर स्थानीय रूप से और केवल गैर-व्यावसायिक उपयोग के लिए चल रहे हैं।...","url":"https://www.aioga.com/hi/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:19:07.899Z"},"it":{"title":"webAI ha rilasciato TwIL-LM: famiglie di modelli logici formali 1.7B e 3B che possono funzionare su hardware locale","summary":"webAI ha rilasciato la famiglia TwIL-LM di modelli logici formali, incluse le versioni 1.7B e 3B, entrambe in esecuzione locale su hardware e solo per uso non commerciale. Tra questi, TwIL-LM3 è una versione consolidata e fine-tunata di SmolLM3-3B, con un punteggio medio di 0,4488 su sei elementi, in seguito a 0,5192 di gpt-oss-120B, ma generando in modo più efficiente, elaborando 32,9 risposte al secondo, rispetto a sole 4,2. 🔗 Leggi l'articolo originale su AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI ha rilasciato TwIL-LM: famiglie di modelli logici formali 1.7B e 3B che possono funzionare su hardware locale - Aioga Notizie IA","description":"webAI ha rilasciato la famiglia TwIL-LM di modelli logici formali, incluse le versioni 1.7B e 3B, entrambe in esecuzione locale su hardware e solo per uso non commerciale. Tra ques...","url":"https://www.aioga.com/it/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:20:08.648Z"},"nl":{"title":"webAI bracht TwIL-LM: 1.7B en 3B formele logische modelfamilies uit die op lokale hardware kunnen draaien","summary":"webAI heeft de TwIL-LM-familie van formele logicamodellen uitgebracht, waaronder versies 1.7B en 3B, beide lokaal op hardware draaiend en uitsluitend voor niet-commercieel gebruik. Onder hen is TwIL-LM3 een geconsolideerde, fijn afgestemde versie van SmolLM3-3B, met een gemiddelde score van 0,4488 op zes items, achter gpt-oss-120B's 0,5192, maar efficiënter genererend met 32,9 antwoorden per seconde, tegenover slechts 4,2. 🔗 Lees het originele artikel via AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI bracht TwIL-LM: 1.7B en 3B formele logische modelfamilies uit die op lokale hardware kunnen draaien - Aioga AI-nieuws","description":"webAI heeft de TwIL-LM-familie van formele logicamodellen uitgebracht, waaronder versies 1.7B en 3B, beide lokaal op hardware draaiend en uitsluitend voor niet-commercieel gebruik....","url":"https://www.aioga.com/nl/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:20:06.105Z"},"tr":{"title":"webAI, yerel donanımda çalışabilen TwIL-LM: 1.7B ve 3B resmi mantıksal model ailelerini piyasaya sürdü","summary":"webAI, TwIL-LM resmi mantık modellerinin ailesini, 1.7B ve 3B sürümleri de dahil olmak üzere, her ikisi de donanımda yerel olarak ve yalnızca ticari olmayan kullanım için piyasaya sürdü. Bunlar arasında, TwIL-LM3, SmolLM3-3B'nin konsolide ve ince ayarlanmış bir versiyonudur; altı maddede ortalama puanı 0.4488, gpt-oss-120B'nin 0.5192'sinin gerisinde kalıyor, ancak saniyede 32.9 cevap işleyerek daha verimli üretiyor; bu cevap sadece 4.2 ile karşılaştırılmış. 🔗 Orijinal makaleyi AIHOT üzerinden okuyun · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI, yerel donanımda çalışabilen TwIL-LM: 1.7B ve 3B resmi mantıksal model ailelerini piyasaya sürdü - Aioga AI Haberleri","description":"webAI, TwIL-LM resmi mantık modellerinin ailesini, 1.7B ve 3B sürümleri de dahil olmak üzere, her ikisi de donanımda yerel olarak ve yalnızca ticari olmayan kullanım için piyasaya...","url":"https://www.aioga.com/tr/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:21:12.432Z"},"vi":{"title":"webAI đã phát hành TwIL-LM: các họ mô hình logic chính thức 1.7B và 3B có thể chạy trên phần cứng cục bộ","summary":"webAI đã phát hành họ mô hình logic chính thức TwIL-LM, bao gồm các phiên bản 1.7B và 3B, cả hai đều chạy cục bộ trên phần cứng và chỉ dành cho mục đích phi thương mại. Trong số đó, TwIL-LM3 là phiên bản tổng hợp tinh chỉnh của SmolLM3-3B, với điểm trung bình 0,4488 ở sáu mục, sau gpt-oss-120B là 0,5192, nhưng tạo hiệu quả hơn, xử lý 32,9 câu trả lời mỗi giây, so với chỉ 4,2. 🔗 Đọc bài viết gốc qua AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI đã phát hành TwIL-LM: các họ mô hình logic chính thức 1.7B và 3B có thể chạy trên phần cứng cục bộ - Tin tức AI Aioga","description":"webAI đã phát hành họ mô hình logic chính thức TwIL-LM, bao gồm các phiên bản 1.7B và 3B, cả hai đều chạy cục bộ trên phần cứng và chỉ dành cho mục đích phi thương mại. Trong số đó...","url":"https://www.aioga.com/vi/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:21:13.630Z"},"id":{"title":"webAI merilis TwIL-LM: keluarga model logis formal 1.7B dan 3B yang dapat dijalankan pada perangkat keras lokal","summary":"webAI telah merilis keluarga model logika formal TwIL-LM, termasuk versi 1.7B dan 3B, keduanya berjalan secara lokal di perangkat keras dan hanya untuk penggunaan non-komersial. Di antaranya, TwIL-LM3 adalah versi SmolLM3-3B yang terintegrasi dan disesuaikan, dengan skor rata-rata 0,4488 pada enam item, kalah dari 0,5192 dari gpt-oss-120B, namun menghasilkan lebih efisien, memproses 32,9 jawaban per detik, dibandingkan hanya 4,2. 🔗 Baca artikel asli melalui AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI merilis TwIL-LM: keluarga model logis formal 1.7B dan 3B yang dapat dijalankan pada perangkat keras lokal - Berita AI Aioga","description":"webAI telah merilis keluarga model logika formal TwIL-LM, termasuk versi 1.7B dan 3B, keduanya berjalan secara lokal di perangkat keras dan hanya untuk penggunaan non-komersial. Di...","url":"https://www.aioga.com/id/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:22:09.670Z"},"th":{"title":"webAI ได้เปิดตัว TwIL-LM: ครอบครัวโมเดลตรรกะเชิงตรรกะอย่างเป็นทางการ 1.7B และ 3B ที่สามารถทํางานบนฮาร์ดแวร์ท้องถิ่นได้","summary":"webAI ได้ปล่อยตระกูล TwIL-LM ของโมเดลตรรกะอย่างเป็นทางการ รวมถึงเวอร์ชัน 1.7B และ 3B ซึ่งทั้งสองรุ่นสามารถทํางานได้บนฮาร์ดแวร์และสําหรับการใช้งานที่ไม่ใช่เชิงพาณิชย์เท่านั้น ในบรรดานั้น TwIL-LM3 เป็นเวอร์ชันที่ปรับแต่งอย่างละเอียดของ SmolLM3-3B โดยมีคะแนนเฉลี่ย 0.4488 ใน 6 รายการ ตามหลัง gpt-oss-120B ที่ได้ 0.5192 แต่สร้างผลลัพธ์ได้มีประสิทธิภาพมากขึ้น ประมวลผลคําตอบ 32.9 ครั้งต่อวินาที เทียบกับเพียง 4.2 🔗 อ่านบทความต้นฉบับผ่าน AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI ได้เปิดตัว TwIL-LM: ครอบครัวโมเดลตรรกะเชิงตรรกะอย่างเป็นทางการ 1.7B และ 3B ที่สามารถทํางานบนฮาร์ดแวร์ท้องถิ่นได้ - ข่าว AI Aioga","description":"webAI ได้ปล่อยตระกูล TwIL-LM ของโมเดลตรรกะอย่างเป็นทางการ รวมถึงเวอร์ชัน 1.7B และ 3B ซึ่งทั้งสองรุ่นสามารถทํางานได้บนฮาร์ดแวร์และสําหรับการใช้งานที่ไม่ใช่เชิงพาณิชย์เท่านั้น ในบรรด...","url":"https://www.aioga.com/th/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:22:19.376Z"},"pl":{"title":"webAI wydało TwIL-LM: formalne rodziny modeli logicznych 1.7B i 3B, które mogą działać na lokalnym sprzęcie","summary":"webAI wydał rodzinę formalnych modeli logicznych TwIL-LM, w tym wersje 1.7B i 3B, działające lokalnie na sprzęcie i przeznaczone wyłącznie do użytku niekomercyjnego. Wśród nich TwIL-LM3 jest skonsolidowaną, precyzyjnie dostrojoną wersją SmolLM3-3B, ze średnim wynikiem 0,4488 na sześciu zadaniach, ustępując gpt-oss-120B (0,5192), ale generując wydajniej, przetwarzając 32,9 odpowiedzi na sekundę, w porównaniu do zaledwie 4,2. 🔗 Przeczytaj oryginalny artykuł za pośrednictwem AIHOT · https://aihot.virxact.com/items/cmsoasx090jnrrofwelid3gei","category":"行业动态","source":"MarkTechPost（RSS）","aggregationSource":"MarkTechPost（RSS）","pageTitle":"webAI wydało TwIL-LM: formalne rodziny modeli logicznych 1.7B i 3B, które mogą działać na lokalnym sprzęcie - Aioga Wiadomości AI","description":"webAI wydał rodzinę formalnych modeli logicznych TwIL-LM, w tym wersje 1.7B i 3B, działające lokalnie na sprzęcie i przeznaczone wyłącznie do użytku niekomercyjnego. Wśród nich TwI...","url":"https://www.aioga.com/pl/news/cmsoasx090jnrrofwelid3gei/","contentTranslated":true,"sourceHash":"d559d6859e222511","translatedAt":"2026-08-11T11:23:19.287Z"}}}}