Universal artificial intelligence is a theoretical approach to artificial intelligence which aims to mathematically express a “formula for intelligence”. Research into this theorem resulted in significant contributions to AI research, computer science, and more.