Comment by bonoboTP

Is it just PR? Okay then the useful math can be done by AI and we can leave aesthetic math to human academics who will ascetically refrain from using AI and if anyone of them submits a paper and it turns out they used computers they will be treated like WADA treats Olympians on steroids or chess players with a vibrator up their ass telling them what move to take. But again the taxpayer may not foot the bill for this endeavor as much as they did while thinking it may be useful for technology, science and engineering innovation.