RechercheAnalyse ·
PDD Kit : Microsoft Research veut prouver le code écrit par les agents, pas seulement le relire
Microsoft Research et GitHub Next présentent un prototype de « développement piloté par la preuve » : l'agent écrit le code et sa démonstration, un vérificateur déterministe tranche. L'exemple publié se limite à la connexion d'une application Rust de 5 000 lignes. Ce qui est montré, et ce qui ne l'est pas.