I'm not sure that's a fair summary of the situation though. If the machines understand math but humans don't, we're going to be in a bad bad bad spot.
We need humans to help guide all this, need to learn all we can.
I agree with Sanderson that the opportunity seems larger than in the past. The challenges are quite different, but if somebody loves math, loves learning about it, like I do, I see so much opportunity.
There's going to be so many more connections to evaluate, so much work needed for unification and simplification and pedagogy, and above all there's going to be intense demand for mathematical taste.
We need humans to help guide all this, need to learn all we can.
I agree with Sanderson that the opportunity seems larger than in the past. The challenges are quite different, but if somebody loves math, loves learning about it, like I do, I see so much opportunity.
There's going to be so many more connections to evaluate, so much work needed for unification and simplification and pedagogy, and above all there's going to be intense demand for mathematical taste.