This paper wants AI companies to pay human mathematicians to understand AI-generated stuff. That's an unusual ask.
Many wrongly assume actual problem solving can be automated in an LLM with more data. Rather... LLM are good at finding similar context in isomorphic plagiarized works, with little actual "AI" in anthropomorphized marketing. Likely also effective at targeting individuals and organizations as hapless intelligence targets. =3
If youre going to spend 10 million dollars on 10000 agents trying to solve some important maths problem I think it's reasonable to ask for some grants to help digest whatever they came up with. Or you could hire mathematicians and do it in-house, but I guarantee you grants to PhD students are cheaper than silicon value salaries.