Impossibility Results in AI: A Survey

Understand

An impossibility theorem demonstrates that a particular problem or set of problems cannot be solved as described in the claim.

• Such theorems put limits on what is possible to do concerning artificial intelligence, especially the super-intelligent one.
• As such, these results serve as guidelines, reminders, and warnings to AI safety, AI policy, and governance researchers.
• These might enable solutions to some long-standing questions in the form of formalizing theories in the framework of constraint satisfaction without committing to one option.