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