3 ms·Unless we also ask AI to do the proof verification...by MauranKilom 4y agoUnless we also ask AI to do the proof verification...rowanG077 4y agoWhy would you do that? Proof verification is pretty much a solved problem.