

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等競品。該模型小巧全面,覆蓋多場景任務,專精文檔識別。