Tag: mistral
All the articles with the tag "mistral".
- 6.6
Mistral发布开源语音生成模型，可在智能手表上运行
Mistral推出开源语音生成模型，体积极为紧凑，可在智能手表和智能手机等终端设备上本地运行
- 6.7
Mistral Forge：企业从零训练定制 AI 模型
Mistral 在 GTC 发布企业级服务，支持从头训练模型而非微调，挑战主流 RAG 路线
- 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 共同训练。
- 8.5
Leanstral：Mistral 发布首个开源 Lean 4 形式化证明 Agent
Mistral 推出 Leanstral，专为 Lean 4 形式化证明设计的代码 Agent，6B 活跃参数，Apache 2.0 开源，在 FLTEval 基准上超越 Claude Sonnet
- 9.0
Mistral Small 4 发布：119B MoE 统一推理、多模态和编程能力，Apache 2 开源
Mistral 发布 Small 4 模型，119B 参数（6B 激活）MoE 架构，首次统一 Magistral 推理、Pixtral 多模态和 Devstral 编程能力，Apache 2 许可
- 8.0
Introducing Mistral Small 4
Mistral releases 119B parameter Apache 2 licensed model unifying reasoning, multimodal, and agentic coding capabilities into a single model.
- 6.5
Mistral 联合创始人 Devendra Chaplot 加入 xAI，直接向马斯克汇报
强化学习和导航领域顶尖研究者 Devendra Singh Chaplot 于 3 月 14 日宣布加入 xAI 与 SpaceX，将专注于 xAI 的超级智能研发，此前曾在 Mistral AI 和 Thinking Machines Lab 任职。