O Claude, da Anthropic, já consegue escrever código de verificação automaticamente: análise de compilação a um novo patamar

O Claude, da Anthropic, já é capaz de escrever e verificar código automaticamente. Ao transformar testes de falhas em problemas matemáticos, analisar em profundidade o código de máquina compilado e gerar provas abrangentes para validar o software, ele eleva a análise de compilação a um novo patamar. Os analistas de tecnologia estão atentos: qualidade e estabilidade do código, com indicadores-chave ainda melhores.#AI #FronteiraTecnológica