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

[youoy]

For me this path means that our role as humans is just the understanding of intelligence?

Everything else is secondary (or the last of our priorities) and would be better automated?

This is a hard pill to swallow

[latentsea → youoy]

We should think about rejecting this AI future.