Cerberus: 수학적 증명으로 안전을 보장하는 AI 보안 해커의 등장 | StartupSchool