And my understanding from chatting with friends in the fraud-detection space is that, while current state-of-the-art machine-learning systems can successfully adapt to the data they obtain from users, they cannot adapt to users learning to game or 'route around' the system -- at least not without programmer intervention 'from above.'
The link to Gödel and Turing I saw is that solving this problem without intervention 'from above' would require a computer program that can successfully model itself as it interacts with humans, but then we run into those two guys, no?
