With @ZorpZK proofs, maybe you could complete the buzzword bingo and get verifiable AI results. (For that to work in any system, you'll need determinism). This could have applications in DeSci and computational markets such as BitTensor.