4 ms·

I can't wait for the day when something isn't considered proven until a computer successfully executes the proof.