FlashProve generates mathematical proofs without exposing an AI model's internal weights, allowing commercial AI developers to publish weight fingerprints while protecting proprietary IP