Proof-of-AI Mining: Introduction