A Mistral disponibilizou uma nova atualização para o seu assistente em código aberto, concebido especificamente para programadores que trabalham com a linguagem Lean 4. De acordo com o anúncio oficial publicado pela Mistral, o novo Leanstral 1.5 traz melhorias significativas no desempenho da verificação formal de código, tornando o processo de engenharia de provas matemáticas mais acessível e robusto.
Capacidade técnica e resultados nos testes de desempenho
Este novo modelo conta com um total de 119 mil milhões de parâmetros, operando com 6 mil milhões de parâmetros ativos sob a licença Apache-2.0. Durante a fase de testes, o assistente alcançou resultados elevados em vários testes de referência conhecidos no setor, conseguindo resolver 587 dos 672 problemas presentes no PutnamBench, além de saturar o miniF2F e atingir marcas de 87% no FATE-H e 34% no FATE-X.
Para quem desenvolve software e necessita de garantir a fiabilidade do código, esta atualização significa uma poupança de tempo na validação de propriedades complexas. A ferramenta provou a sua eficácia prática no terreno ao identificar falhas que eram totalmente desconhecidas em repositórios públicos.
Impacto prático na engenharia de software
A segurança do código é uma prioridade no desenvolvimento moderno. Através de uma metodologia de treino avançada no campo da inteligência artificial que combina fine-tuning supervisionado e aprendizagem por reforço com o método CISPO, o agente revelou aptidão na deteção de erros. Em ambiente real de avaliação, o sistema analisou 57 repositórios e descobriu cinco falhas inéditas. Embora o foco principal do desenvolvimento tenha sido direcionado para a matemática, as competências estendem-se com eficácia à verificação de software.
Para os programadores interessados em testar o sistema, a tecnológica disponibilizou o Leanstral 1.5 no Hugging Face para descarregar. Os utilizadores podem ainda aceder às funcionalidades através de uma API sem custos, facilitando a integração nos fluxos de trabalho do dia a dia.
Nenhum comentário
Seja o primeiro!