Solving "real" problems in theoretical mathematics (as in problems directly related to applications) is a very small proportion compared to the vast majority of math work that does not. So if we are discussing about the future of mathematics as a field, we have to understand what the field of theoretical mathematics is actually about.
Would this slow technological progress? Or make it go faster?
That math problems are found and solved as we run into real physical problems.
I don't advocate for the dichotomy of stem and humanities. A good counterecample from the 20th century being Ernst Mach (Mach-speeds are named after him) and his work in phenomenology ("bodies do not produce sensations, sensations produce bodies")
Your incatation of contextless 'technological progress' still kinda calls for a quote like the above
*https://www.theguardian.com/books/ng-interactive/2026/aug/08...
In fact, the relationship between theoretical mathematics and "real physical problems" is bidirectional, as in "real physical problems" informs to some degree some problems that may be interesting to research on in theoretical math, and at the same time pure mathematical research that is developed completely independent may find applications at some point. And even theoretical mathematicians working close to applications are mostly dealing with problems not directly addressing applications. Eg maybe they study properties of a certain function that arises often in application without any view to solving a specific "real physical problem" with it, and somebody after may find that useful for some application after some point, but that could be one out of 50 papers (random number) and it is hard to predict that. There is of course some work more related to specific real problems, but that's most often not what theoretical math is about, and not what these new developments with erdos problems, navier stokes etc are about.
So what could (in a chaotic sense) have effect in application is mathematical theories developed along the way of solving these pure math problems, which brings us back to the question of what happens if we remove this friction and if AI can do more than construct examples and proofs, ie actually build theories (autonomously or humans+AI). If anything, it is through building theories that mathematical progress germinates applied sciences, as this is the process that develops mathematical tools that can be taken up later, including whole mathematical fields. Building mathematical theories is a heavily social process, and it is the community that basically decides which directions are important to follow.
Because even with supercomputers the equations that describe many physical systems cannot be solved, research and development is still based on a lot of empirical methods, i.e. things must be physically built and measured, because mathematical computations cannot predict their properties with sufficient accuracy.
So if some miraculous algorithms would be discovered for the approximate solution of the systems of equations that are insoluble for now, that could accelerate technological progress a lot in certain domains, especially for the discovery of new materials or chemical substances with desirable properties.
problem specificity, concreteness, engineering relevance, or even "empiricity" seems (vaguely)
proportional to how much "good friction" can be generated.
There's also bad friction related to "meta-ness", "bad names", "aesthetics", etc, I presume. Like bikeshedding and its relatives. Is yakshaving?
Eutripsis? Vs just tripsis
25m12s
It's easy to get into "the flow" with roughly equally-skilled humans, but the weird cadence of 2 humans+1 AI seems to be potentially eutriptic.
Probably you're off somewhere and never return. AI might also provide that "Coasean floor", that HN doesn't seem to ;)
Fermat's Last Theorem was one of the most famous open problems in math for centuries, and it has no direct applicability to any tangible problems here in the physical world.
But yes, none of those are very tangible, until applied to problem solutions that are tangible.