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:
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.
The process IS the result.
No the proof or counterexample is the result. The whole point of this debate is that LLMs can get there without the human process.
Come on, you can flag the truth, too. The AI propagandists must maintain their 1984-level lies.
Book burning is good, it makes books more accessible!