Microsoft apresenta PDD Kit: provas matemáticas para checar código escrito por agentes de IA
文章分类: Tecnologia
O PDD Kit, do Microsoft Research, transforma a intenção do desenvolvedor em especificação formal em Verus e prova que o código Rust escrito por agentes de IA cumpre o combinado — com testes onde a prova não alcança.
阅读全文