Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

A very interesting comment from Baez, I'll just quote part of it.

> Where does the value of thinking and having deep ideas come from? We need to think about this now. If it comes primarily from their scarcity – the fact that having certain ideas is hard – then indeed this value may drop precipitously when the manufacture of ideas can be automated. But if the value comes from the utility of the ideas – the benefit that the idea brings – then the story changes: perhaps creating more good ideas is actually better, not worse. Here I’m using “utility” in a broad sense, not just in the sense of what people often call applied mathematics.

> In other words, mathematicians may need to adjust to a transformation from a scarcity economy to an abundance economy.

https://gowers.wordpress.com/2026/05/08/a-recent-experience-...



There are three species of mathematicians:

The first species is the pure problem solver. Tao is the poster child for this group. Their currency is interesting problems and solutions to those problems.

The second species is the pure theory builder. The poster child for this group is Conway. Their currency is theories and ideas rather than theorems, they are most interested in expanding the territory of mathematics and discovering new mathematical lands.

The third species is the applied mathematician. They see mathematics as a means to an end, they have some problem outside of mathematics and they want to use mathematics to solve it.

It seems like the first group (the problem solvers) are the most immediately threatened by AI, although so far AI is better at solving problems than finding new conjectures.

The second group (the theory builders) are more distantly threatened by AI, since thus far AI has shown limited ability to come up with novel and interesting mathematical ideas and nobody has any clue how to train an AI to do such a thing.

The third group stands to gain the most from AI. If an AI can answer your mathematical question then you can spend less time doing mathematics and more time on whatever it is outside of mathematics that you wanted to use mathematics to help solve.


I'm cautiously optimistic that the theory camp will benefit as much the applied guys, but later. They dream and scheme and shape fields by making vague intuitions and questions sharper, but they also need interesting patterns to work with as their raw material.

Identifying suitable problems in this sense rather than solutions is an AI use-case you don't hear about much. We don't quite have the infrastructure for this yet but by combining language models / anomaly detection / knowledge-bases we might be in a position to give a Conway 25 interesting high-quality puzzles before breakfast. Funny that it's like a kids nightmare, chatgpt giving them homework instead of solving it, but if it had good taste, people would love it for research.

Anyway, for now, dreamers will probably find more inspiration by cross-pollination with colleagues from different disciplines, or just going for a walk.


I was expecting Grothendieck. Conway is hardly the poster child for theory building.


Yes, I should have just said "explorer" or "inventor" rather than theory builder which is too specific.

Grothendieck is a better specifically for building theories. Conway is famous for his various ideas and inventions so he also fits the bill as an "anti-Tao".


This is generally true across the economy. It is known as the diamond-water paradox. Diamonds are (for everyday life) useless, so then why are they so much more valued than water, which you need to live?

https://en.wikipedia.org/wiki/Paradox_of_value


I note that it is always the same online pundits (even if they are distinguished academics) who push anything new.

Meanwhile Wiles and Perelman stayed offline and solved real problems.


I don't necessarily think engaging in the personalities is interesting, but I'm struggling to see what is the beef here. Is it personalities? Pure vs applied math? Or AI?


would Wiles be willing to transcribe his proof for the metamath verifier? it can be done offline indeed...



I asked about Wiles, because others frequently run into issues while formalizing.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: