Unless they formally, mathematically proved it can't work rather than just empirically, I mean, it's not understood yet, then I don't see why it can't be traine

Unless they formally, mathematically proved it can't work rather than just empirically, I mean, it's not understood yet, then I don't see why it can't be trained out when we discover how to.