You just explained how it is a problem inherent to most LLMs. Most spammers aren't able or willing to train a model.
Every large hosted LLM drones on and on. It helps them land on the correct answer more often. And they always return to the mean of their training even with prompting. Try telling a model not to reply with "Sure thing!" or some other shit and it'll do it anyway. Far easier to just cut that shit out.
Implement voting in sports, but only for big things. Who should be LocalTeam's coach? Who should be HomeTeam during BigGame? How much should your team splurge on the latest star player?
They would be too busy with all of that to worry about politics.
Don't know what it's like where you live but around here if they are old enough to fall apart they aren't to code anyway. They need replacing like every two years, I think.
Yeesh, I don't miss reddit at all. Those comments could all be bots and it wouldn't make a difference. Everyone just posts whatever joke they thought was funny 2+ years ago.
Timothy Gowers @wtgowers
@wtgowers
Sep 22
Happy to be able to say that my automatic theorem proving group in Cambridge submitted a successful bid to the AI for Math Fund, launched this year by Renaissance Philanthropy and XTX Markets.
This was one of the first games I gave a thumbs up to for steam greenlight.