Mistral 发布 Leanstral-1.5-119B-A6B 定理证明模型

mistralai · hf · 2026-07-05

Mistral 在 Hugging Face 发布 Leanstral-1.5-119B-A6B(Apache-2.0),基于 Leanstral-2603,为总参 119B、激活 6B 的 MoE 模型,面向 Lean 形式化定理证明任务,体现前沿厂商在大模型数学形式化推理方向的布局。

原文链接 →

「模型」频道最新

• 有人称 Kimi 短期走势取决于 K3 基座模型发布 — _xjdr · 2026-07-27
• Kimi K3 在网络安全上很强，但 token 效率卡住了评测 — teortaxesTex · 2026-07-27
• 欧洲 ChatGPT Plus 用户开始看到“Extra High”质量选项 — PressPlayPlease7 · 2026-07-27
• Opus 5 传在赛车游戏测试中一次过关 — soumitrashukla9 · 2026-07-27
• Claude Opus 5 据称价格减半并刷榜 Frontier-Bench — GregCook2011 · 2026-07-27
• 研究者称防御场景更偏向开放模型，Kimi K3 已接近高水平网络安全能力 — eliebakouch · 2026-07-27

更多「模型」频道 AI 资讯 →