Gödel-machine
term_id: gödel_machine
Category: basic_concepts
Definition
De Gödel-machine is een hypothetische universele probleemoplosser voorgesteld door Jürgen Schmidhuber, gebaseerd op formele logica en berekenbaarheidstheorie. Het werkt door continu zijn eigen broncode te analyseren en te optimaliseren op basis van een utility-functie, waarbij het alleen code wijzigt als dit leidt tot bewezen betere prestaties.
Summary
Een theoretisch zelfverbeterend AI-programma dat zijn eigen broncode kan herschrijven om efficiënter te worden zonder zijn doelen te wijzigen.
Key Concepts
- Zelfwijziging
- Utility-functie
- Formele verificatie
- Rekenkundige efficiëntie
Use Cases
- Theoretisch onderzoek naar algemene kunstmatige intelligentie (AGI)
- Bestuderen van de grenzen van algoritmische zelfverbetering
- Verkennen van formele methoden voor AI-veiligheid