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