TrueBit and It's Verification for AI

I've been follwing the idea of TrueBit for the last years. I played with their beta and found the idea and the options it provides very enlightening and broad. Not only for the blockchain space, but of course that will be a big part of it's usage imho.

Now I saw they try to verify AI. What is the opinion of some AI experts here? I'd love to hear some opinions.