The fracking or strip mining of mathematics is repulsive. It must be noted here that Jeremy Avigad, who posted a soothing pro-AI guest article on Tao's blog on Oct. 5th, is running a strip mining project:
Come on, you can flag the truth, too. The AI propagandists must maintain their 1984-level lies.
Is mathematics about the process or actual results? I find it incredibly arrogant the way some mathematicians are claiming only they should be allowed to solve these problems.