4 ms·

Assuming that it would be a very complex proof, it might take a while for practical applications to be able to catch up.