arn））的问题时拿出来讨论。 其应用包括人类决策设计自动化以及在多个相关任务之间进行知识转移，并且有可能设计出更加强健和通用的学习架构。 尽管在哥德尔机在理论上是可能的，但至今尚未有完整的实作。 哥德尔机经常会与的相比较，AIXItl是另一种对通用人工智慧的正式规范。施密德胡伯指出，哥德尔机器可以先实现AIXItl作为其初始副程式，并在发现别种更好的搜索演算法之后，再进行自我修改