Just because AI is capable of churning out vomit inducing prose, doesn't mean we need to surrender to a future filled with it. Humans who actually care about what they're doing will use AI when and where it should be used. I trust the intelligence, curiosity and tenacity of mathematicians to learn to work with AI. I don't understand the sky is falling worst case scenario Tao and others seem to be taking as the most likely future.
…yes. That’s why the human mathematicians are having this debate. How to keep the human mathematicians and their founders motivated to keep doing math, potentially more productively with these new tools.
If AI saps motivation from some mathematicians, I question where their motivation came from in the first place. Maybe they're just too wedded to the traditional way of doing things and aren't fully appreciating the actual productivity gains AI makes possible.
Again, have you read Tao’s recent criticism of AI in mathematics? Nothing you’re saying is disputed.
> If AI saps motivation from some mathematicians, I question where their motivation came from in the first place
Question away. I care about results. If a substantial number of great mathematicians say this is a problem, and a substantial number of students agree, whether they’re unappreciative of their potentially pending unemployment is irrelevant to both that fact and the fact that they’re not going to be producing mathematics. (Again, here. The American mathematical ecosystem collapsing doesn’t mean the same will happen abroad.)
We don’t know this! We might just have no more American mathematicians because folks who aren’t mathematicians don’t understand that we’re turning mathematical breakthroughs from just a couple decades ago into real, working technology.
> It's not even clear if the human race can survive until then
It’s pretty obviously clear the human race can survive for hundreds more years…
"Climate change is going to kill everyone in 50 years so we'd better work fast if we want to burn all this coal by then"
Not in the same extinction-class event way. In large part because hiring developers is still profitable.
Also, not remotely as well organized or proactive as mathematicians anpparently are. So maybe less vanguard than the cannon fodder at the front.