Gödel-maskine
term_id: gödel_machine
Category: basic_concepts
Definition
Gödel-maskinen er en hypotetisk universel problemløser foreslået af Jürgen Schmidhuber, baseret på formel logik og beregnbarhedsteori. Den opererer ved kontinuerligt at analysere sin egen kildekode og omstrukturere den selv for at optimere ydeevnen i henhold til en given nyttefunktion.
Summary
En teoretisk selvkorrigerende AI-program, der kan omskrive sin egen kildekode for at blive mere effektiv uden at ændre sine mål.
Key Concepts
- Selvmodifikation
- Nyttefunktion
- Formel verifikation
- Beregningseffektivitet
Use Cases
- Teoretisk forskning i kunstig generel intelligens (AGI)
- Undersøgelse af grænserne for algoritmisk selvkorrigeren
- Udforskning af formelle metoder inden for AI-sikkerhed