I want someone smarter than me to formally define a notion of AI-complete. I have a hunch it exists, but I have no idea how I would go about defining it rigorously. Perhaps it won’t be clear until AI is solved. Perhaps defining AI-completeness is AI-complete.