The theorems also imply limitations on AI. Even if a machine operates within a consistent formal system, there will be truths it cannot prove. This raises questions about the ultimate abilities of AI and how we think about machine intelligence. -Kurt Godel. I cannot understand it but I do agree.