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:
https://huggingface.co/papers/2608.16977
Come on, you can flag the truth, too. The AI propagandists must maintain their 1984-level lies.
Come on, you can flag the truth, too. The AI propagandists must maintain their 1984-level lies.