Mistral 模型驱动 Firefox 智能窗口

9月8日AI日报：Meta展示Muse（Hatch）移动端UI，支持目标、日历、邮件等主动式智能体，已进入封闭alpha测试。OpenAI为ChatGPT Work推出写作风格学习功能，可学习Gmail、Drive等来源的语音。Mistral完成超210亿欧元估值、30亿欧元D轮融资，由Samsung领投，为欧洲最大科技股权融资。

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 与 Mozilla 宣布合作，Firefox 的 AI 浏览助手 Smart Window（beta）现由 Mistral 模型驱动，率先面向法国和北美用户，英国和德国预计今年晚些时候跟进。双方称对话默认不保存在 Mozilla 服务器上，Mistral 同意零数据保留，并按地区语言和方言微调模型。

今天，我们宣布与 @mozilla 达成合作，为使用 AI 浏览网页的用户带来隐私、控制权和选择权。🦊🐈 https://mistral.ai/news/mistral-x-mozilla

Mistral CEO Arthur Mensch 发文调侃「我们是一片战略家的大陆」，回应网友吐槽欧盟又上线了一个 AI 相关网页 transformative-ai.eu。后者只是欧洲众多 AI 计划网页之一，与 accelerate-europe.org、investAI（动员 2000 亿欧元投资）等并列。

作为企业，如果既不稳步建设并掌控自己的 AI 模型和系统，对你来说也就不存在什么末日