Machine de Gödel
term_id: gödel_machine
Category: basic_concepts
Definition
La machine de Gödel est un résolveur de problèmes universel hypothétique proposé par Jürgen Schmidhuber, basé sur la logique formelle et la théorie de la calculabilité. Elle fonctionne en analysant continuellement son propre code source et en le modifiant si une amélioration de l’efficacité peut être prouvée formellement, tout en conservant la même fonction d’utilité.
Summary
Un programme d’IA théorique s’améliorant lui-même, capable de réécrire son propre code source pour devenir plus efficace sans altérer ses objectifs.
Key Concepts
- Auto-modification
- Fonction d’utilité
- Vérification formelle
- Efficacité computationnelle
Use Cases
- Recherche théorique en intelligence artificielle générale
- Étude des limites de l’auto-amélioration algorithmique
- Exploration des méthodes formelles en matière de sécurité de l’IA