Gödel-kone
term_id: gödel_machine
Category: basic_concepts
Definition
Gödel-kone on hypothetinen yleispätevä ongelmienratkaisija, jonka ehdotti Jürgen Schmidhuber. Se perustuu formaaliin logiikkaan ja laskettavuusteoriaan. Kone toimii analysoimalla jatkuvasti omaa lähdekoodiaan ja muuttamalla sitä matemaattisesti todistettavasti tehokkaammaksi.
Summary
Teoreettinen itseparantava tekoälyohjelma, joka voi kirjoittaa lähdekoodinsa uudelleen tehokkaammaksi muuttamatta tavoitteitaan.
Key Concepts
- Itsemuokkaus
- Hyötyfunktio
- Formaalinen verifiointi
- Laskennallinen tehokkuus
Use Cases
- Teoreettinen tutkimus yleisessä tekoälyssä (AGI)
- Algoritminen itsetehostumisen rajojen tutkiminen
- Formaalisten menetelmien soveltaminen tekoälyn turvallisuudessa