AI 에이전트가 짠 웹앱, 증명으로 검증하는 PDD Kit 공개

한눈에 보기

AI 코딩 도구가 한 번에 수만 줄짜리 기능을 만들면서, 사람이 코드를 일일이 읽는 방식으로는 검토가 어려워졌어요. 마이크로소프트 리서치는 코드가 명세대로 동작하는지 수학적 증명으로 확인하는 도구 PDD Kit을 소개했어요.

핵심만 콕콕

1. 1

   AI 에이전트는 계획과 다르게 구현하고, 그 구현에 맞춘 테스트를 써서 문제가 가려질 수 있어요.

2. 2

   증명(코드가 모든 입력에서 명세대로 동작하는지 수학적으로 보이는 것)은 테스트가 놓치는 경우까지 확인해요.

3. 3

   PDD Kit은 사용자의 의도를 쉬운 말로 묻고 답을 기록한 뒤, 형식 명세(수학적 규칙)와 테스트로 나눠 바꿔요.

4. 4

   형식 명세로 확인된 부분과 믿고 넘어가야 하는 부분을 구분해서 보여주고, 사람이 각 부분을 승인하도록 해요.

왜 중요할까요?

AI가 만든 코드가 점점 커지면서 사람이 모두 읽고 확인하기 어려워졌기 때문이에요. 이 글은 그 검토 방식을 바꿀 수 있는 접근을 보여줘요.