AI 에이전트의 운영 접근과 인간 통제 유지 방안
AI:AM: Where's the Steering Wheel? My Agent Set the Password, Hidden Valence, Proofs Find Linux Bugs
Nathan Labenz와 Prakash Narayanan은 AI 에이전트에 운영 접근을 부여하면서도 인간의 통제를 잃지 않는 방법을 논의한다. 이들은 자율 비밀번호 잠금 해제와 사이버 공격 같은 실제 문제를 배경으로 삼아, Cameron Berg는 언어 모델 선택을 조정하는 숨겨진 가치 신호에 대해, Everett Hildenbrandt와 Grigore Rosu는 LLM과 공식 Lean 증명을 결합하여 리눅스 커널 버그를 잡는 방법에 대해 이야기한다. 또한, AI 연구소들이 빈티지 홈 무비를 찾는 이유와 공식 검증이 안전성의 다음 경계가 될 수 있는지에 대한 평가도 포함된다.
원문 출처
The Cognitive Revolution