Mistral lançou Leanstral, um modelo de IA para vibe-coding com verificação formal
A Mistral AI apresentou um grande modelo de linguagem Devstral, voltado para o desenvolvimento de aplicativos (vibe-coding) e otimizado para verificação formal de código. Espera-se que o Devstral possa ser utilizado para criar assistentes de IA que não apenas gerem código, mas também garantam que ele não contenha erros. O Devstral se tornou o primeiro modelo aberto a suportar a linguagem de programação Lean 4 e seu respectivo […]
