3 ms·

Proof of X unfortunately has to be capable of being verifiable by a computer without human intervention.