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 形式化定理证明任务,体现前沿厂商在大模型数学形式化推理方向的布局。
「模型」频道最新
- 网传 OpenAI 发布 GPT-6.1 Terra，配图基准分超 Claude Opus 5.5（未证实） — ZeroStateReflex · 2026-10-27
- 曝 GPT-6.1 Terra 上线：输入 $1/百万 token，号称 Sonnet 级半价 — bindureddy · 2026-10-27
- GPT-6.1 Terra 事实错误率从 22.3% 降至 4.3%，降幅近 81% — haider1 · 2026-10-27
- GPT-6.1 Terra 发布:早期用户称写作与 computer use 表现亮眼 — BenBajarin · 2026-10-27
- GPT-6.1 Terra 跑分曝光:成本低至 Sol 一半,追不平 Astra — Angaisb_ · 2026-10-27
- Artificial Analysis 更新智能指数 v4.3.2，GPT-6.1 Terra 参与横评 — ArtificialAnlys · 2026-10-27