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

[faeyanpiraat]

Seems like neat buckets but you may want to find one example for the first which can actually be done by an llm as running is not its strong suit afaik

[socializer → faeyanpiraat]

I gave two examples for #1 and one of them is something done by LLMs. Other examples include painting / drawing, songwriting & composing, etc. In all of these, gen AI output is pretty widely stigmatized.