← AI 動態
Simon Willison
Mistral Small 4 問世：統合多模態、推理和編碼能力的 AI 模型
Mistral Small 4 是一種新型 AI 模型，結合了多模態、推理和編碼能力，具有 119B 參數和 6B 活躍參數
AI 模型
多模態
推理
編碼
Mistral Small 4 是 Mistral 公司最新發布的 AI 模型，這是一種統合了多模態、推理和編碼能力的模型。它具有 119B 參數和 6B 活躍參數，支持不同的推理努力水平，包括「none」和「high」。這個模型可以用於生成多種類型的內容，包括圖片和文本。 Mistral Small 4 的發布對於 AI 研究和應用具有重要意義，因為它可以幫助開發者創建更加強大和多功能的 AI 系統。另外，Mistral 公司還發布了 Leanstral，一個開源的模型，專門用於生成 Lean 4 正式可 驗證的編碼語言。