Mistral Leanstral e Forge, e uma galeria de arquiteturas de LLMs

A terceira semana de março teve foco em confiança e especialização: IA que prova o que escreve, modelos treinados com o conhecimento das empresas e formas melhores de entender a tecnologia.

Leanstral: agente aberto que prova formalmente o próprio código

A Mistral lançou o Leanstral, que diz ser o primeiro agente de programação de código aberto feito para o Lean 4, ferramenta para escrever provas formais de matemática e de propriedades de software. A ideia é que os agentes não só escrevam código, mas provem que ele cumpre especificações rigorosas, reduzindo o esforço de revisão humana. O modelo é eficiente, com 6 bilhões de parâmetros ativos.

Como aplicar na sua empresa

Em sistemas críticos, provar que o software está correto vale mais do que testá-lo. Agentes que verificam o próprio trabalho apontam para uma automação mais confiável.

Fale com um especialista

Fontes

• Mistral: Leanstral: Open-Source foundation for trustworthy vibe-coding

Mistral Forge: modelos treinados com o conhecimento de cada empresa

A Mistral lançou o Forge, sistema para empresas construírem modelos de nível de ponta treinados com o próprio conhecimento: normas de engenharia, políticas de conformidade, código, processos e o histórico de decisões. Organizações como ASML, Ericsson e a Agência Espacial Europeia já treinam modelos com a Mistral usando seus dados próprios.

Como aplicar na sua empresa

Modelos genéricos conhecem a internet pública. Modelos treinados com o conhecimento interno entendem como cada empresa funciona, o que torna a IA muito mais útil na operação do dia a dia.

Fale com um especialista

Fontes

• Mistral: Introducing Forge

Uma galeria visual de como os modelos de linguagem são construídos

O pesquisador Sebastian Raschka publicou a LLM Architecture Gallery, referência que cataloga as arquiteturas dos modelos de linguagem modernos com diagramas, datas de lançamento e as principais escolhas técnicas de cada um, para comparar sem ler dezenas de artigos.

Como aplicar na sua empresa

Bom material educativo encurta a curva de aprendizado das equipes técnicas que precisam escolher e avaliar modelos.

Fale com um especialista

Fontes

• Sebastian Raschka: LLM Architecture Gallery

Curadoria da Versagil, com apoio de IA.