Comment by saghm
8 hours ago
I mean, was the point of math ever just because some humans enjoyed doing it? Even though a lot of it is theoretical, there's been all sorts of useful things that have come out of it as well due to an improved understanding of the universe through new ways of thinking about it. If it got to the point where no human could understand it and there were no ways to actually use it, I don't think anyone would bother having their computers doing it at all.
> was the point of math ever just because some humans enjoyed doing it?
Yes.
Friends and I often work on Putnam problems and this series:
The (Almost) Impossible Integrals, Sums, and Series by Cornel Ioan Vălean
wouldn't AI solving problems in science, engineering, economics, etc be able to apply the new AI math?