Startups apostam em IA para verificação formal de código
Empresas usam inteligência artificial para automatizar a verificação formal de softwares e reduzir custos, enquanto especialistas apontam limitações.
Tag
Theorem
2 artigos
Anthropic usa Claude para gerar provas formais de código existente
Segundo a Anthropic, o modelo Claude produziu cerca de 180 milhões de linhas de prova para 123 bibliotecas, detectando falhas ocultas.