PROOF AI (PROOF)