Comment by eviks

> placed a premium on being the first to solve an open problem

Which is a simple measurable goal requiring little bureaucracy. The mythical "all you need is a pen and paper and a lifetime of dedication"

> "Math 2.0" will need to ... value mathematical progress more holistically

which is directionally the opposite

> community building ... AI can contribute positively

what is this belief based on? Any other communities can illustrate?