4 ms·The original proof was the computer program, as I understand it.by JoeAltmaier 2y agoThe original proof was the computer program, as I understand it.