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

[defmacr0]

Honestly, that's a weakness shared by a lot of human-generated science as well.

[rtkwe → defmacr0]

In mathematics it's usually a large portion of the paper because they know it's the interesting and useful part of the discovery. Often they come up with new tools and techniques and those often unlock further discoveries.