Before revision: Since many AI problems have no formalisation yet, conventional complexity theory does not enable to formally define AI-completeness
After revision: Since many AI problems have no formalizationus. yet, conventional complexity theory does not enable to formally define AI-completeness