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

[dminik]

I think many saw working with Ramanujan as helping or being involved with a one in a generation (or even higher) talent.

Translating LLM proofs to human-ese is instead grunt-work. One that is bound to dissapear in a few years anyways.