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 形式化定理证明任务,体现前沿厂商在大模型数学形式化推理方向的布局。
「模型」频道最新
- Engram 随机读取不适合 SSD，CPU 内存低延迟共享或成正解 — bookwormengr · 2026-09-11
- 曝 Meta Muse Agent 内置邀请码逻辑,或携额外免费额度上线 — testingcatalog · 2026-09-11
- 同题 Echo Maze 实测:三大模型看似成功,代码里藏着同一个 bug — eyishazyer · 2026-09-11
- 新基准一出分数暴跌 70 点:「刷榜」现象如何让跑分失真 — airesearch12 · 2026-09-11
- ChatGPT 竟劝用户「问题太复杂,去试试更笨的回答」 — phido3000 · 2026-09-11
- Anthropic 调整年龄验证,Claude 不再向未成年人开放 — Muhammad523 · 2026-09-11