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.

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

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

Lol. No