Mistral CEO：AI 是软件，可以被控制

Robostral Navigate 是 Mistral AI 首个具身导航模型（8B 参数），仅用单 RGB 摄像头，在 R2R-CE 验证集上取得 76.6%（unseen）和 79.4%（seen）的成功率，超越最佳单摄像头方法 9.7 个百分点，超越使用深度或多摄像头的系统 4.5 个百分点。模型通过 pointing 预测目标坐标并结合强化学习持续改进，全部在模拟中训练（约 40 万轨迹、6000 场景），采用 prefix-caching 实现高效训练。通用适配…

Mistral AI 今日发布 Leanstral 1.5，一款 Apache-2.0 许可的开源形式化验证模型，119B 总参数仅 6B 活跃。在 miniF2F 上达 100% 饱和，PutnamBench 解决 587/672 题，FATE-H（87%）和 FATE-X（34%）创 SOTA。训练经历 mid-training、SFT 和基于 CISPO 的强化学习。具备智能体式证明能力，在 57 个开源仓库中发现 5 个未知 bug。模型已通过 HuggingFac…

Mistral AI 发布 OCR 4，新增边界框、块分类（标题、表格、方程式、签名等）及逐页逐词置信度分数。支持 170 种语言、10 个语系，可单容器全自托管部署。在 OlmOCRBench 上得分 85.20，独立标注者偏好率平均 72%。定价每 1000 页 $4，Batch API 享 50% 折扣。可通过 API 或 Mistral Studio 的 Document AI 调用。

Mistral发布开源权重模型Mistral Small 4，采用119B参数MoE架构（每token激活6.5B参数），支持可切换的推理/非推理模式及图像输入。推理模式在Artificial Analysis Intelligence Index获27分，超越Mistral Large 3，但低于gpt-oss-120B等竞品。模型token效率优于同类，幻觉率更低（AA-Omniscience -30分），支持256K上下文窗口，采用Apache 2.0许可证。

Cohere 发布 Command A Reasoning，定位企业级推理任务，称在 BFCL-v3（70.3）、tau-bench、m-tau-bench 上优于 gpt-oss-120b、DeepSeek-R1 0528 和 Mistral Magistral Medium。

奥地利科学院联合 Mistral 和 Sail Reply 开发的大语言模型 Apollo 将于当地时间周三正式发布，面向古希腊语文献修复，训练素材涵盖手稿、莎草纸与石刻铭文，总计约 6 亿个古希腊历史词汇。

用 1 分钟回复我，我是个偏执的人 【引用 @anatolium】：AI 的"小神"们确信自己可以不受惩罚。 他们收买了部长，把爱丽舍宫变成他们的桥头堡，靠承诺"主权 AI"攫取了数十亿。 如果 2027 年不能让权力回到人民手中，他们的掠夺将使他们被奉为神圣，而我们则走向终结。

Mistral CEO Arthur Mensch 回应一则针对公司的批评帖，该帖称法国前数字事务部长 Cédric O 以不到 200 欧元投资持有 Mistral 价值 9000 万欧元的股票。该帖还称 EPFL 团队用不到 4000 万欧元做出了与 Mistral 同等高效的 LLM，并指责 Mistral 早已停止扩充工程团队、依赖政府订单，且向客户提供可自由下载的上一代中国模型。

Mozilla 与 Mistral 合作在法国推出 Firefox Smart Window 测试版，该 AI 浏览功能可结合多个标签页和浏览会话处理复杂搜索、整理资料并定位历史浏览内容。双方承诺"零数据保留"，对话默认不存于 Mozilla 服务器，Mistral 也不将其用于模型训练，法语版本已上线，英国和德国预计随后推出。

Mistral ❤️ Firefox Mistral 模型现已驱动 Mozilla 的 AI 浏览助手--Firefox Smart Window（beta）。 > "Mistral 将为法国和北美用户的 Smart Window 提供支持，英国和德国预计今年晚些时候跟进。"