Apresentando Mistral Pequeno 4
16 de março de 2026 – Link Blog
Apresentando Mistral Pequeno 4. Grande novo lançamento da Mistral hoje (apesar do nome) – um novo modelo de parâmetro 119B licenciado pelo Apache 2 (mistura de especialistas, 6B ativo) que eles descrevem assim:
Mistral Small 4 é o primeiro modelo Mistral a unificar as capacidades de nossos modelos principais, Magistral para raciocínio, Pixtral para multimodal e Devstral para codificação de agente, em um modelo único e versátil.
Ele suporta reasoning_effort="none" ou reasoning_effort="high"com este último fornecendo “verbosidade equivalente aos modelos Magistral anteriores”.
O novo modelo tem 242 GB no Hugging Face.
Eu experimentei através da API Mistral usando llm-mistral:
llm install llm-mistral
llm mistral refresh
llm -m mistral/mistral-small-2603 "Generate an SVG of a pelican riding a bicycle"
Não consegui encontrar uma maneira de definir o esforço de raciocínio na documentação da API, então espero que esse seja um recurso que chegará em breve.
Também da Mistral hoje e adequado à sua convenção de nomenclatura -stral está o Leanstral, um modelo de peso aberto que é especificamente ajustado para ajudar a produzir a linguagem de codificação Lean 4 formalmente verificável. Eu não explorei o Lean, então não tenho como avaliar isso com credibilidade, mas é interessante vê-los direcionar uma linguagem específica dessa maneira.
