In the literature [*], the "proof" is an actual proof, but that's not what the prover sends to the verifier. Rather, the verifier queries random pieces of the proof, eventually convincing themselves that with high probability, the prover knows a valid proof.

[*] At least in most of the older literature descending from the PCP literature. Modern papers sometimes abandon that distinction and just use "proof" and "argument" interchangeably.

That's why it's sometimes called an "argument" or specifically a "cryptographic proof". You can construct the statement such that it can be "proven" in a traditional sense by adding qualifiers such as "with probability more than 1-1/(2^256)". You'll generally need an assumption like knowledge-of-exponent or at least hash soundness.

In cryptography you prove security through showing that an adversary has a negligible [1] chance of winning a game of guess the secret.

[1] https://crypto.stackexchange.com/questions/5832/what-exactly...

No — the word 'proof' is accurate, it establishes with certainty that you know the value of x.