---
title: "Microsoft Research lança kit para verificar código gerado por IA"
url: https://dailyjournal.news/news/2026-10-21/microsoft-research-lanca-kit-para-verificar-codigo-gerado-por-ia
published: 2026-10-21T19:40:36.955553+00:00
updated: 2026-10-21T19:40:36.955553+00:00
categories: ["technology"]
source_count: 1
outlet_count: 0
language: pt-BR
publisher: "Daily Journal"
---

# Microsoft Research lança kit para verificar código gerado por IA

O novo Proof-Driven Development Kit utiliza verificação formal para assegurar a precisão de códigos criados por agentes de inteligência artificial.

## Pontos principais

- O PDD Kit traduz intenções de desenvolvedores em especificações formais.
- A ferramenta utiliza verificação formal para provar que o código atende aos requisitos.
- O kit oferece compatibilidade com a linguagem Rust por meio do Verus.
- A solução está integrada ao projeto Chopin, do GitHub Next.
- A tecnologia será apresentada no evento GitHub Universe, em outubro de 2026.

A Microsoft Research anunciou o Proof-Driven Development (PDD) Kit, uma ferramenta desenvolvida para garantir a correção de códigos produzidos por agentes de IA. O sistema funciona traduzindo a intenção do desenvolvedor em uma especificação formal, permitindo que a verificação matemática prove se o código gerado cumpre os requisitos estabelecidos.

O kit é compatível com o Verus para a linguagem Rust e encontra-se integrado ao Chopin, uma iniciativa do GitHub Next. A demonstração oficial da tecnologia está programada para ocorrer durante o evento GitHub Universe, que será realizado nos dias 28 e 29 de outubro de 2026.

## Fontes

- [@MSFTResearch: AI agents are writing more code. How can developers ensure that code is correct?](https://x.com/MSFTResearch/status/2112987215496093979) (2026-10-21)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-10-21/microsoft-research-lanca-kit-para-verificar-codigo-gerado-por-ia