3 ms·
As a middle-aged mathematician, AI is provoking a serious crisis among the better mathematicians I know. Many are only half jokingly talking about retiring. We
by contubernio 25d ago
As a middle-aged mathematician, AI is provoking a serious crisis among the better mathematicians I know. Many are only half jokingly talking about retiring. We use AI a lot in research already and it's obvious that whoever doesn't will fall behind fast. At the very least it gives access to the full library in a few minutes, serving as a kind of knowledge oracle generally more useful than the expert who ought to be in the office next door but isn't. And we see what can happen when it is effectively coupled with lean to automate theorem proving and discovery.
We aren't dumb enough to see this as the end of the profesión - Esther it's clearly a shift in how we will work - but we like doing computations and playing around with examples and how one does that just changed a lot. The other problem is we know we don't have the energy of youth to learn to use AI as effectively as the kids, although we are wiser and have better judgment and do know some things.
Mathematicians who are not taking seriously how to adapt to AI are deluding themselves.