On: “Math 2.0” will need to value mathematical progress more holistically

[vonneumannstan]

>expecting others to do the grunt work of verifying, refining, and expanding on them is hardly a productive way to advance the field.

I don't know that the labs expect this at all.

Is the purpose of math to move human knowledge forward or to appease the mathematicians who get their rocks off working on proofs?