AI proof verification