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.)

	▲	UltraSane 6 minutes ago \| parent [-]
		Do you think this silly comment is somehow profound? Math is mainly about proving theorems true or false or finding counterexamples.