

Mistral 的基准测试显示,Saba 在阿拉伯语方面表现优异,同时英语能力相当 | 资料来源:Mistral AI



Mistral 的基准测试显示,Saba 在阿拉伯语方面表现优异,同时英语能力相当 | 资料来源:Mistral AI
在G7峰会上,法国AI公司Mistral AI的CEO Arthur Mensch指出,法国凭借大规模核电带来的丰富且低成本电力,在AI竞争中具备优势。法国是欧洲主要电力出口国,去年向意大利、德国、比利时净出口92太瓦时电力。他强调电力是驱动人工智能发展的关键要素。
Mistral AI发布专为Lean4设计的开源模型Leanstral1.5,采用Apache-2.0许可。该模型总参数119B,仅6B激活参数,兼顾高性能与低成本。在miniF2F形式数学基准中,验证集和测试集均达100%完成率,并已挑战Putnam等高难度推理任务。
欧洲Mistral AI推出数学形式化证明模型Leanstral 1.5,专为Lean4语言,总参数119B但推理仅激活6B,以极低开销和Apache-2.0许可完全开源。在miniF2F基准上验证集和测试集均达100%完成率,PutnamBench同样表现惊人。
法国Mistral AI推出OCR4文档识别模型,支持跨越10个语族的170种语言。该模型在OmniDocBench测试中获93.07分,输出准确自然,用户体验优于GPT5.5Pro和Gemini3.1Pro。
法国Mistral AI发布文档识别模型OCR 4,支持10个语族170种语言,在权威测试获93.07分,输出质量经人类评审优于GPT-5.5 Pro等竞品。该模型小巧全面,覆盖多场景任务,专精文档识别。