AI proofs