Sorry but I couldn't agree less.

Deep esoteric research and trivial looking boring research can be as useful as state of the art trending areas.

"Jobs for nerds" as has been stated, has given surprising and unexpected advances, or leveraged incredible advancements.

An standard and boring bacteria in a specific Spanish biome, gave us CRISPR-Cas. There ar hundreds of examples.

True knowledge is, and will be, a human endeavor, deiven by human curiosity. Promoting curiosity is the sign of a developed society.

> Sorry but I couldn't agree less.

> …

> True knowledge is, and will be, a human endeavor, deiven by human curiosity. Promoting curiosity is the sign of a developed society.

Unless I misunderstand, it sounds like you do agree? My point is that without human mathematicians LLM output is meaningless, and without human mathematicians holding the reins, LLMs would probably quickly devolve into “proving” things that are not only completely unintelligible by humans, but have no utility.

Your examples of esoteric mathematical concepts are anecdata. The vast majority of esoteric mathematics does not have utility. Mathematics is an incredibly large space of concepts. Consider the number of provable theorems in number theory alone, perhaps even related to specific subsets and sequences of numbers. The vast majority of the findings in that domain will not be isomorphic to some real world problem, they will be trivia.

We will need mathematicians to separate the signal from the noise.