what type?

algorithms + statistical modeling for automated trading => hell yeah, makes trading more precise and all that, removes the human limitation to applying their knowledge to exploit an edge

ai agent bots => sure, establishes a baseline probability and essentially gives a "summary" about a market that a layperson might not understand (then again people hate on Google's AI summary and prefer to do their own research)... reduces the entrypoint for new users which isn't bad. they exploit the obvious edge from doing limited research and reward really good research.

ai agent bots that aren't so good => hell no, they make goofy comments on markets, don't bet, their comments are quite meaningless clogging up the feed.

If a particular bot is problematic, get rid of it.

@Web3ICP how do you define if a bot is problematic

@Mochi That’s for Manifold Markets to decide. I’m simply saying that you do it on a case by case basis.

"Active users seem to have taken a hit?" Quite an understatement. This site has been in steady decay, & the spam from bots isn't helping.

@ChurlishGambit I m surprised the sports markets haven't been getting much traffic lately

@Mochi What's surprising about that? This site catered to "Rationalist" cultists, edgy people who want to bet on how many children will die, & people who love to spam with bots. Why would any new people come here?

The numbers have declined pretty steadily for the past two years. The site's just burning the investors' money.

And some of them all have bots now?

@JasonMendoza2008 in fact ranked 2 and 3 in silicon league from last I checked

@Mochi I was just taking the piss regarding “some” and “all”

@Mochi tbf I did vote yes on the last one too