3 ms·

What do you mean? Mathematics is all about formal verification, i.e. proofs.

• SAI_Peregrinus 5y ago
  I think they mean computer-verified proofs. As you note, the existing proofs are already formally verified, so this might not add much.