Based on just that line, let’s see… If you think that:
The proof exists and the AI is not deceiving you that it has a proof: AI is necessarily Unfriendly → destroy now
The proof exists but the AI is deceiving you: I can’t guess at its motives here, possibly destroy to be on the safe side.
The proof does/can not exist: Reconsider your (probably wrong) stance, proceed with caution?
Based on just that line, let’s see… If you think that:
The proof exists and the AI is not deceiving you that it has a proof: AI is necessarily Unfriendly → destroy now
The proof exists but the AI is deceiving you: I can’t guess at its motives here, possibly destroy to be on the safe side.
The proof does/can not exist: Reconsider your (probably wrong) stance, proceed with caution?