4 ms·

Computers have already created proofs for what we have known but been unable to prove. They are doing that too.