Gödelův stroj
term_id: gödel_machine
Category: basic_concepts
Definition
Gödelův stroj je hypotetický univerzální řešitel problémů navržený Jürgenem Schmidhuberem, založený na formální logice a teorii výpočitelnosti. Funguje tak, že neustále analyzuje svůj vlastní zdrojový kód a hledá způsoby, jak jej optimalizovat pro dosažení vyšší užitečnosti.
Summary
Teoretický program AI schopný sebevylepšování, který může přepisovat svůj vlastní zdrojový kód, aby se stal efektivnějším, aniž by změnil své cíle.
Key Concepts
- Sebeúprava
- Funkce užitku
- Formální ověřování
- Výpočetní efektivita
Use Cases
- Teoretický výzkum umělé obecné inteligence
- Studium limitů algoritmického sebevylepšování
- Prozkoumávání formálních metod v oblasti bezpečnosti AI