TD
The Decoder • 15일 전
IMP 7
수학적 AI 안전 연구소, 암호 해독 불가 증명처럼 AI 안전성 증명 추구
필즈 메달 수상자인 캐나다 수학자 제이콥 치머먼이 '수학적 AI 안전 연구소(MAISI)'를 설립했다. 이 연구소는 암호학자가 암호 체계의 해독 불가능성을 수학적으로 증명하듯, AI 시스템의 안전성을 수학적 증명으로 입증하는 것을 목표로 하며, 영지식 증명(zero-knowledge proof) 등의 도구를 활용할 계획이다.
AI 안전 MAISI 영지식 증명