Tag: 开源模型
All the articles with the tag "开源模型".
- 8.7
Mistral 发布 Leanstral：首个开源 Lean 4 证明助手模型
Mistral AI 推出 Leanstral，一个专为 Lean 4 形式化验证设计的高效代码智能体，仅 6B 激活参数即可在证明工程任务中击败大型闭源模型。
- 7.2
NVIDIA 启动 Nemotron 联盟：联合 8 家 AI 实验室共建开放前沿模型
NVIDIA 在 GTC 2026 宣布成立 Nemotron Coalition，联合 Mistral AI、Perplexity、Cursor 等机构协作开发开源前沿模型，首个项目将由 NVIDIA 与 Mistral 共同训练。
- 9.0
Mistral Small 4 发布：119B MoE 统一推理、多模态和编程能力，Apache 2 开源
Mistral 发布 Small 4 模型，119B 参数（6B 激活）MoE 架构，首次统一 Magistral 推理、Pixtral 多模态和 Devstral 编程能力，Apache 2 许可