Definition
La Máquina de Gödel es un solucionador universal hipotético propuesto por Jürgen Schmidhuber, basado en la lógica formal y la teoría de la computabilidad. Opera analizando continuamente su propio código fuente y optimizándolo mediante transformaciones verificables formalmente que aumentan su utilidad o eficiencia, manteniendo siempre intactos sus objetivos originales.
Summary
Un programa de IA teórico capaz de mejorarse a sí mismo, que puede reescribir su propio código fuente para volverse más eficiente sin alterar sus objetivos.
Key Concepts
- Automodificación
- Función de utilidad
- Verificación formal
- Eficiencia computacional
Use Cases
- Investigación teórica en inteligencia artificial general
- Estudio de los límites de la mejora algorítmica autónoma
- Exploración de métodos formales en la seguridad de la IA