logoalt Hacker News

afsg-qsgf • yesterday at 8:53 PM • 2 replies • view on HN

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


Replies

UltraSane • today at 2:04 AM

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.

12997 • yesterday at 9:32 PM

Come on, you can flag the truth, too. The AI propagandists must maintain their 1984-level lies.

➕ show 1 reply