实体
Leanstral 1.5
Leanstral 1.5
PulseAugur coverage of Leanstral 1.5 — every cluster mentioning Leanstral 1.5 across labs, papers, and developer communities, ranked by signal.
总计 · 30天
3
90 天内 3
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 0
层级分布 · 90 天
主题
时间线
- 2026-06-30 product_launch Mistral AI has released the Leanstral 1.5 model. 来源
- 2026-06-30 product_launch Mistral AI has released Leanstral 1.5. 来源
- 2026-06-30 product_launch Mistral AI released Leanstral 1.5, an updated model for automated theorem proving. 来源
- 2026-06-30 product_launch Mistral AI has released Leanstral 1.5, an updated model optimized for automated theorem proving and formalization. 来源
情绪 · 30 天
1 天有情绪数据
最近 · 第 1/1 页 · 共 3 条
-
Mistral AI发布Leanstral 1.5，拥有1190亿参数
Mistral AI发布了Leanstral 1.5，一个拥有1190亿参数的新模型。此次发布受到了一些质疑，有评论认为庞大的参数数量可能会使简单任务过于复杂化，并对其实际创新性提出了疑问。
-
Mistral AI 发布 Leanstral 1.5 模型更新
Mistral AI 发布了其模型的更新版本 Leanstral 1.5。更多详情和文档可在 mistral.ai 网站上找到。
-
Mistral AI 发布 Leanstral 1.5 用于定理证明 · 已追踪 2 个来源
Mistral AI 发布了 Leanstral 1.5，这是一个为自动定理证明和形式化设计的更新模型。新版本拥有 1190 亿总参数和 65 亿激活参数，并支持 256k 令牌的上下文窗口。该模型针对性能和效率进行了优化，在各个行业都有潜在应用。