实体
WebAI
WebAI
PulseAugur coverage of WebAI — every cluster mentioning WebAI across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
Apple caught off guard by AI demand for Mac mini and Mac Studio
Apple因企业对Mac mini和Mac Studio电脑在AI硬件方面的需求激增而感到意外。这种意想不到的需求促使Apple加速发布更新型号，打破了其通常的秋季发布时间表。据报道，该公司还缺乏专门的企业客户和开发者关系团队，并依赖WebAI和Mount Thor等合作伙伴在Apple硬件上提供AI执行环境。
-
webAI 发布 TwIL-LM 形式逻辑模型，用于本地自动形式化
webAI 推出了 TwIL-LM，这是一个包含 1.7B 和 3B 参数两种规格的形式逻辑模型家族。这些模型专为自动形式化而设计，能够将英语翻译成一阶逻辑并验证结论。这两个模型都可以在消费级硬件上本地运行，其中 3B 模型所需的 VRAM 或 CPU 资源极少。此次发布强调了效率，3B 模型在速度和生成长度方面优于更大的模型，但在整体形式逻辑准确性方面略逊于一个 120B 参数的模型。