In academia they are paid to produce papers (and get some chores done like teaching), hopefully ones that can result in bombastic press releases, or winning awards.
On a more abstract level they are paid to bring funding and prestige to the university, but that often goes through the route of papers. And papers often involve proving theorems.
I consider "get paid to do X" to be equivalent to "you get to have your paid job and career as long as you do X". In that case research and papers qualify. Whatever is technically written in the contracts is just surface level bureaucracy. Publish or perish.
> I consider "get paid to do X" to be equivalent to "you get to have your paid job and career as long as you do X". In that case research and papers qualify.
Actually, it doesn't. Both math departments I'm familiar with had faculty members who published only to get tenure, and never published again until they retired.
But if they didn't teach (or taught extremely poorly), they got fired, even though they had tenure. If you didn't show up to a scheduled class a number of times, you got in trouble.
I know you weren't saying this, but it's frustrating reading so many comments about mathematicians "getting paid to have fun and good riddance". No - the majority of what they do is teach non-math students. If people here don't like that, by all means dissolve the departments and have the engineering departments teach math.
If the main job is teaching, then AI being good at proving theorems should not make OP worry about his job. Only AI being good at teaching would threaten that.
Not a mathematician, but I suppose there is pressure to publish like everywhere else in academia. And a publication generally requires a new contribution.
On a more abstract level they are paid to bring funding and prestige to the university, but that often goes through the route of papers. And papers often involve proving theorems.