I think Godel's Incompleteness Theorm implies the machines can't grok the code they are made from. I'm not sure though.