Claude da Anthropic prova propriedades de segurança em 123 bibliotecas open-source com verificação formal
文章分类: Inteligência Artificial
Em colaboração com Theorem, o Claude gerou provas matemáticas em nível de assembly RISC-V para 239 pontos de entrada, descobrindo bugs que escaparam a fuzzers por anos.
阅读全文