3 ms·

But that is true. According to the article you posted, a counter example _was_ found in less than 10^10