Mistral AI 发布了 Leanstral 1.5，这是一个为自动定理证明和形式化设计的更新模型。新版本拥有 1190 亿总参数和 65 亿激活参数，并支持 256k 令牌的上下文窗口。该模型针对性能和效率进行了优化，在各个行业都有潜在应用。 AI
影响 该模型的发布可能会加速人工智能研究界在形式化验证和自动推理方面的进步。
排序理由 Frontier-lab 模型发布，附带系统卡。[lever_c_demoted from frontier_release: ic=2 ai=1.0]
在 Mastodon — mastodon.social 阅读 →
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
