Z3: 코드가 올바른지 확인하는 AI
마이크로소프트 리서치의 AI인 Z3는 복잡한 논리적 진술과 컴퓨터 코드를 자동으로 검증합니다. 초기 단계에서 오류를 찾아내어 소프트웨어와 중요 시스템의 신뢰성을 높입니다.
복잡한 컴퓨터 코드나 논리적 진술이 올바른지 자동으로 확인하는 매우 똑똑한 AI를 상상해 보세요. 그것이 바로 Z3입니다. Z3는 2008년 마이크로소프트 리서치에서 출시한 강력한 도구입니다. 디지털 탐정처럼 작동하여 사람이 수동으로 증명할 필요 없이 일련의 논리적 규칙이 동시에 모두 참일 수 있는지 확인합니다.
앱에서 계속 읽기
그리고 3문제 퀴즈