Maszyna Gödla
term_id: gödel_machine
Category: basic_concepts
Definition
Maszyna Gödla to hipotetyczny uniwersalny rozwiązywacz problemów zaproponowany przez Jürgen Schmidhubera, oparty na logice formalnej i teorii obliczalności. Działa poprzez ciągłą analizę własnego kodu źródłowego w poszukiwaniu optymalizacji, które poprawią jego efektywność.
Summary
Teoretyczny program AI samousprawniający się, który może przepisywać własny kod źródłowy, aby stać się bardziej wydajnym bez zmiany swoich celów.
Key Concepts
- Samomodyfikacja
- Funkcja użyteczności
- Weryfikacja formalna
- Wydajność obliczeniowa
Use Cases
- Badania teoretyczne nad ogólną sztuczną inteligencją (AGI)
- Analiza granic samousprawniania algorytmicznego
- Eksploracja metod formalnych w bezpieczeństwie AI