Comment by Animats

This paper wants AI companies to pay human mathematicians to understand AI-generated stuff. That's an unusual ask.