He writes: "Thus he identified fundamental limits of algorithmic theorem proving, computing, and any type of computation-based AI."
An automatic theorem prover is a kind of AI. Gödel showed its limitations.
There have been entire conferences dedicated to Gödel and AI.