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

[gessha]

What does it mean to “genuinely” contribute to mathematics? Because the definition you use is load-bearing ;) and it might be different from that of others.

[pfdietz → gessha]

It's when theorems are proved by True Scotsmen.