OpenGradient is trying to make AI infrastructure less trust-based and more proof-based.