The Autostep founder has spent years building small machines for annoying work. Now he is chasing a larger question: can companies prove what their AI actually returned?