Mistral AI
6 published articles
弃用档案
Mistral AI 大幅精简模型家族：哪些保留、为何保留？
对 Mistral AI 模型组合进行的 2026 年中年审计显示，在其前沿、专业和遗留层级共有 36 个活跃模型，其中 19 个模型计划在 2026 年中年之前弃用。该公司的策略侧重于面向智能体和编程的小型专业模型，同时弃用 Magistrate 和早期 Devstral 版本等实验性变体。
2026-07-13
AI智能体
Mistral编程智能体将笔记本电脑抛在身后：并行会话，无需紧盯
Mistral正在将编程智能体迁移到云端，通过新的Mistral Medium 3.5模型实现并行、异步任务执行。此次更新在Mistral Vibe和Le Chat中引入了远程智能体，以及用于多步骤任务的Work模式，同时保留了对敏感操作的人工监督。
2026-07-12
Lean 4
Leanstral 1.5证明AI定价的旧规则不适用于数学
Leanstral 1.5，一款拥有6B活跃参数的模型，在miniF2F上达到饱和，解决了587道PutnamBench问题，并发现了开源仓库中5个此前未报告的错误。每解决问题成本约4美元，比Seed-Prover便宜75倍，比Aleph Prover便宜15倍，挑战了形式验证需要巨大计算预算的假设。
2026-07-12
收购
Mistral 收购进军物理学领域，与 NVIDIA 和 Ansys 展开竞争
Mistral 通过收购 emmi AI 的 CFD 和等离子体湍流神经替代模型，进入物理仿真领域。该交易使 Mistral 在工业工程市场直接与 NVIDIA 和 Ansys 竞争。
2026-07-11
创纪录的融资轮
Mistral AI 刚刚融资6亿欧元。将资金转化为市场份额的压力从现在开始。
Mistral AI 刚刚完成由 General Catalyst 领投的创纪录融资轮，筹集6亿欧元，成为法国估值最高的人工智能初创公司。将这笔资金转化为市场份额的压力从现在开始。
2026-07-11
收购
Mistral 收购一家让物理模拟从数周缩短至秒级的公司
Mistral AI 收购 Emmi AI，以开发能在数秒内预测物理行为的物理基础模型，从而加速产品设计、实现实时数字孪生，并为 ASML 和空客等合作伙伴加快工装开发。
2026-07-09