Quite so, but not at that level of rigorous yet. However the interesting part is AI + prediction markets :)