contubernio
Joined 9 months ago
Joined 9 months ago
A very different thing is proposing a framework and in it identifying interesting questions. So far AI has only worked within existing frameworks addressing problems already posed. That may change in the future, but it would be a genuine and qualitative evolution.
So far AI still doesn't make definitions. It tries but it doesn't really see structure - only patterns on which it can impose (by brute force) known structures.
What's not clear is how the professional infrastructure will survive. Journals seem likely to die. The arxiv is swamped. A human can't assess the volume of the output. Serious conjectures have fallen and serious people have checked them.
We are looking for constructive and productive and socially useful ways forward. One reflection is that a lot of what we have been doing was maybe not so interesting as we thought.
Since I started using AI seriously in my (mathematics) research about 6 weeks ago I've advanced more and been more productive than in years. I'm more motivated and persistent than before because I have at my disposal a tool that helps me get past technical obstacles that previously took up a lot of my time.
On the other hand, it puts a premium on resources. AI is not cheap for mathematicians. Folks are fancy universities in rich countries with forward thinking ministries of science will have an advantage over the rest.
What is clearly in immediate crisis is the traditional model of doctoral education. Most of the problems that were "given" to ordinary doctoral students are solvable (quickly) even by something like Claude pro. Mathematicians need to adopt training models more like what is done in experimental and laboratory sciences - collaborative and structured.
Where Tao is wrong is in regards to exposition. AI already writes better lecture notes, problems, and exercises for mid level undergrad math classes than do most of my colleagues. It's exposition is generally well structured and clear and it can adjust level on request quite well. It writes research better than most professional mathematicians too.
Well guided is a qualifier that matters.