Fonte/empresaMistral
OrigemAnúncio oficial
Data02/07/2026
CategoriaPesquisa e open source
O que aconteceu
<p>A Mistral lançou o Leanstral 1.5, modelo especializado em prova automática de teoremas e engenharia de provas formais em Lean 4. A emp…
Por que isso importa
Esta atualização entra no Radar IA por seu potencial impacto em produtos, operação, governança, segurança, produtividade ou estratégia de empresas que acompanham inteligência artificial.
O que acompanhar agora
O IPSecure Hub acompanha desdobramentos em fontes oficiais, veículos reconhecidos, publicações técnicas e fontes regulatórias, evitando tratar sinais sociais como confirmação isolada.
Fontes consultadas
Fonte principal: Mistral AI
Critério: Anúncio oficial. X/Twitter pode ser usado apenas como sinal complementar, nunca como fonte única.
