The research field AGI Limits of Engineerable Control & Safety Impossibility Theorems (AGILECSIT) has the purpose of verifying (both the empirical soundness of premises and validity of formal reasoning of):
- Theoretical limits to controlling any AGI using any method of causation.
- Threat models of AGI convergent dynamics that are impossible to control (by 1.).
- Impossibility theorems, by contradiction of 'long-term AGI safety' with convergence result (2.)
~ ~ ~
Definitions and Distinctions...