It's definitely clever, but he seems generally confused about his thesis. As I recall, he defines intelligence as the ability to step outside the system. So, if intelligence is a system, then if it steps outside of itself to formalize itself into AI, then it has not formalized itself.