Actually, I think the hardest problem is finding the universe which contains the AI. I can't think of criteria which would select for universes with AIs.

So, because we're dealing with infinities, that means I'll never find the simulated universe which contains one. :(

Exporting the AI is easy. Once I've found an AI, then I can just ask it to solve the problem of exporting itself. ;)