Towards an Actual Gödel Machine Implementation: a Lesson in Self-Reflective Systems
- First Online:
Recently, interest has been revived in self-reflective systems in the context of Artificial General Intelligence (AGI). An AGI system should be intelligent enough to be able to reason about its own program code, and make modifications where it sees fit, improving on the initial code written by human programmers. A pertinent example is the GÃ¶del Machine, which employs a proof searcherâ€”in parallel to its regular problem solves dutiesâ€”to find a self-rewrite of which it can prove that it will be beneficial.
Unable to display preview. Download preview PDF.