Comment by youoy
1 day ago
Im an ex mathematitian too. And if i was in academia I would probably have the same reaction. Thats what i say that its the worst time for proving economic value.
But if you are in for theory building and understanding, then you are not constrained anymore by your motivation to grind through countless hours of formal theorem proving. And you do not need to have superhuman formal manipulation skills and memory.
For me mathematics is not the formal system, so LLMs will never be able to do end to end maths.
The practice of "theory building" is especially endangered by the current LLM uptake. Not because LLMs are good at it, because they are bad at it. Worse, they sometimes actively hinder theory building, because it usually rests on actually having deep experience with some techniques: 1: you do something over and over, 2: it becomes a second nature, you just get the feel for it, 3: you intellectualize this intuitive understanding, 4: you discover a new structure, or a better way to express/teach/learn/use an existing one.
Theory building was always kind of niche, or at least less prestigious (in comparison with solving well-known problems). Now, because the mad problem solvers are pulling on the blanket so much harder, the marginalization is getting worse.