Sep 10, 2026, 5:15 PM@mark this is a weird defense of slop, gotta say
- Sep 10, 2026, 5:15 PM
Replies
Sep 10, 2026, 8:08 PM@atax1a I don't intend to defend it. If it's bad theorems, obviously that's a problem.
The issue appears to me that the theorems are plausibly sound but in real human world nobody actually gets rewarded for verifying work, only for creating work, And as consequence letting the AI do the theorem creation part crashes a significant portion of the self-image of purpose of the project.
It feels analogous to online advertising crashing print media advertising which really threw off the news industry because it turns out that generating and reporting news, while valuable, had become a loss leader for putting advertisements in people's hands.
It is definitely a problem that news media didn't recover from this. I'm trying to wrap my head around what the analogous look problem looks like in the mathematical community.
- Sep 10, 2026, 8:13 PM
@mark the issue is that the slopbot isn't solving problems at all, and legitimizing this garbage by treating it as anything other than spam is risible, yes
- Sep 10, 2026, 8:43 PM
@atax1a So is the solution to the Navier Stokes equations flawed or do we just not know yet or is what it output not functionally a solution at all?
- Sep 10, 2026, 8:45 PM
@mark our official stance is: who cares? the mathematicians who were allegedly working on it fed their research into the slop bot, which taints their work, and the company that allegedly provided the solution is a slop company. the whole thing is a scam and these people need to be laughed out of polite society