괴델 머신 (Gödel Machine)
term_id: gödel_machine
Category: basic_concepts
Definition
괴델 머신(Gödel Machine)은 위르겐 슈미트두버(Jürgen Schmidhuber)가 제안한 가상의 범용 문제 해결자로, 형식 논리와 계산 이론에 기반합니다. 이 시스템은 자신의 소스 코드와 현재 상태를 지속적으로 분석하여, 더 빠른 실행이나 더 적은 자원 소비를 가능하게 하는 코드 수정이 가능한지 검증합니다. 만약 더 효율적인 버전이 형식적으로 증명되면, 시스템은 즉시 자신의 코드를 새 버전으로 대체하여 자기 개선을 수행합니다.
Summary
목표를 변경하지 않으면서 더 효율적으로 되기 위해 자신의 소스 코드를 직접 수정할 수 있는 이론적인 자기 개선 AI 프로그램입니다.
Key Concepts
- 자기 수정 (Self-Modification)
- 효용 함수 (Utility Function)
- 형식적 검증 (Formal Verification)
- 계산 효율성 (Computational Efficiency)
Use Cases
- 인공 일반 지능(AGI)의 이론적 연구
- 알고리즘적 자기 개선의 한계 연구
- AI 안전 분야의 형식적 방법 탐구