Gödel machine

Concept

A theoretical self-improving program that uses part of its computational resources to improve its own code, provably validating changes against original specifications.

Mentioned in 1 video

Videos Mentioning Gödel machine

Marcus Hutter: Universal Artificial Intelligence, AIXI, and AGI | Lex Fridman Podcast #75

Marcus Hutter: Universal Artificial Intelligence, AIXI, and AGI | Lex Fridman Podcast #75

Lex Fridman

A theoretical self-improving program that uses part of its computational resources to improve its own code, provably validating changes against original specifications.