EDIT: Just to add: A lot of the breakthroughs and solutions being discovered were always there. It is just that Clankers are becoming essential for lit reviews to surface useful bits we've already discovered in different domains. But the clankers are not inventing new maths or doing abductive reasoning to solve these math problems. They are simply incapable of that abductive reasoning leap for now.

In my opinion, real mathematicians will probably be the last to become obsolete.

You are seeing the cup half empty, comrade. It is half full

Just like anyone else they will work for love, not for money

LLMs can apply techniques someone invented and published, but it is unable to invent new techniques. So mathematicians are not going away.

ITT: people who only read the title and did not open the link

Lol. No