[dyauspitr]

> Only a rare few new theorems in mathematics nowadays have direct real world applicability.

I am no mathematician and very naïve about this, but in a world that is rapidly becoming extremely calculation and network dependent that sounds hard to believe.

> If AI produced legitimate theoretical breakthroughs at a pace mathematicians are unable to absorb, then the impact will be neutral to negative.

I think the idea here is that all mathematicians will just be using AI for their future work so they don’t really have to absorb it as long as it’s in the training data.

[mkl]

> > Only a rare few new theorems in mathematics nowadays have direct real world applicability.

> I am no mathematician and very naïve about this, but in a world that is rapidly becoming extremely calculation and network dependent that sounds hard to believe.

I am a mathematician. It is true. The key is we're talking about new theorems, and direct, current real world applicability. Some theorems that have no applicability now may in the future, as theory often precedes applications by a long way and the usefulness is likely to come from other things built on top of the new maths, and a lot of pure maths will never have direct real world applications but contributes to our overall understanding.

[adastra22]

The key word in that sentence is “new.” New math is typically explored without expectation of practical use. There are exceptions, but it is generally true.

On the other hand, there are many applied mathematicians and theorists from other fields that mine new maths for applications to their fields. But they are almost always not the ones that come up with the new math.

Historically, of course, mathematics was always driven by the need to explain things. Many of the mathematicians from the 17th and 18th centuries were physicists (or, less commonly, engineers). But for the last hundred years or so that really hasn’t been the case.

[anonymousDan]

Out of interest, what would you estimate the proportion of new maths that is used by other fields to be? Do you think much of this new maths is potentially underutilised as it were?