Mistral lança Leanstral 1.5: provas matemáticas para códigos de IA

A nova ferramenta de código da Mistral usa provas matemáticas formais para garantir que softwares críticos funcionem exatamente como planejado.

Categoria: radar-ia. Publicado em 13/07/2026.