Formally verifying all of math would be an amazing achievement by humanity.
V.I. Arnol'd: "Only fools prove theorems."
(The wording may not be exact, though the sense should be.)
alt Hacker News
V.I. Arnol'd: "Only fools prove theorems."
(The wording may not be exact, though the sense should be.)