Gödel-gép
term_id: gödel_machine
Category: basic_concepts
Definition
A Gödel-gép egy hipotetikus univerzális problémamegoldó rendszer, amelyet Jürgen Schmidhuber javasolt, formális logikán és számíthatóságtanon alapulva. A gép folyamatosan elemzi saját forráskódját, és ha matematikailag bizonyítható módon gyorsabb vagy hatékonyabb verziót talál, akkor átírja magát. Ez az önmódosítás azonban csak akkor történik meg, ha garantáltan nem változtatja meg a gép eredeti célját vagy haszonfüggvényét, így elkerülve a célirányultság elvesztését.
Summary
Egy elméleti, önmagát fejlesztő AI-program, amely képes átírni saját forráskódját a hatékonyság növelése érdekében, célok módosítása nélkül.
Key Concepts
- Önmódosítás
- Haszonfüggvény
- Formális ellenőrzés
- Számítási hatékonyság
Use Cases
- Elméleti kutatás az általános mesterséges intelligencia területén
- Az algoritmikus önmegjavítás határainak tanulmányozása
- Formális módszerek vizsgálata az AI-biztonságban