GitHub·Microsoft Research, Chopin·증명 기반 개발 키트 연구 프리뷰 공개
GitHub가 GitHub Next·Microsoft Research의 Chopin과 Proof-Driven Development Kit를 연구 프리뷰로 공개했다고 밝혔다. AI 생성 코드를 줄마다 검토하지 않고도 운영 환경에 배포하도록 돕는 도구로, 회사는 코드 리뷰와 테스트만 사용하는 것보다 강한 보증을 제공한다고 설명했다.
연구 프리뷰 단계이며 정식 제공 발표는 아니다.
줄 단위 검토 없이 AI 생성 코드를 배포하도록 지원한다는 설명과 보증 수준은 GitHub의 주장이다.
본문에는 지원 언어·접근 조건·가격·구체적인 검증 방식이 제시되지 않았다.