Why? What would that tell the mathematicians that they don't
already know?
If you found a mistake in the proof after everyone accepted it, that
would cause consternation. Imagine what the New York Times
would do with that story! But if you spend 20 years and millions
of dollars to verify something that is already known to be true, in
what sense are you "demonstrating the enormous usefulness of
such a system"?
Lyle