[z77dj3kl]

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

[SAI_Peregrinus]

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