Comment by robotpepi
10 hours ago
It makes no sense to compare mathematics with chess. Chess is a sport. No one is interested in watching two machines compete. Chess doesn't have a practical impact. Etc. What you seem to suggest is that AI will be able to completely (or at least in a great part) replace mathematicians. It could be the case in the future, but no one knows right now, and more importantly: tech companies don't even think about it! they don't think on the externalities.
Well, what you are saying that the situation is even better for math than for chess?
Chess is only valuable as an entertainment. So no one really gains anything from computers becoming really good at chess.
But with math, everyone in the world would gain from computers becoming really, really good at it.
But solving math problems is not the same as increasing understanding of math concepts.
Does mathematics still have a practical impact without humans in the loop? I don't think there's one single answer to that question, but I think it's worth considering exactly what that impact may be.
Tech companies are as much the topic of this post as AI, I think that's the immediacy.
To a significant extent, the pursuit of mathematics research is a pursuit of human understanding of mathematics, without knowing where it might lead, or whether it might lead anywhere at all. I don't see how the motivation for that goes away on its own, but the institution supporting it is certainly threatened by the potential loss of grant money and graduate student applications.
> Does mathematics still have a practical impact without humans in the loop?
There's a single answer to that question: yes, math very much has an impact without humans in the loop.
Math has a lot of applications, and those applications don't care whether eg the new faster matrix multiplication algorithm was found and proven correct by a machine or a meatbag.
We're way into diminishing returns in matrix multiplication, and being clever about ALUs and cache layout is likely to dwarf any asymptotic improvements you're going to find. Any better examples of improvements in the last decade?
The main situation I can think of where better calculations have a really visible effect is video and image compression, and that stuff is very far away from mathematical proof territory.
We can't be sure AI will be able to ask the questions of the future. At least right now, AI is not capable of that.
> No one is interested in watching two machines compete
I’ve watched quite a lot of YouTube videos where two machines compete, so you may not be completely right here
The Square One commentary on the AlphaZero v Stockfish game from 2017 is pretty entertaining: https://www.youtube.com/watch?v=LnVDUQksIDk
In other videos he's called out the influence that this and similar games have had on human players in recent years, particularly around square denial and thorn pawn strategies.
https://tcec-chess.com/
Top chess engine championship is pretty fun to watch.
> What you seem to suggest is that AI will be able to completely (or at least in a great part) replace mathematicians.
There is no bound on the amibitions of AI. AI is set to replace anything done by people, and there won't be any room left for people. There isn't any task done by humans that AI won't be better at.
This is not a tenable outcome.
We should never have built machines with agency, rather than optimization processes that operate as subroutines of humans.
You say it like it's a bad thing.
Replacing people leaves no room for people.
> We should never have built machines with agency...
We haven't quite crossed that bridge, but we do appear to be standing on it.