Grande avanço da Anthropic Claude na escrita automática de código

Claude, da Anthropic, agora é capaz de escrever e verificar código automaticamente. Ao transformar testes de falha em problemas matemáticos, Claude analisa o código de máquina compilado e gera provas abrangentes para proteger softwares existentes. Com estrutura rigorosa, métricas precisas e controle dos bits críticos, a tecnologia de IA alcança um novo patamar.#AI技术 #AnthropicClaude