The research community is in uproar after OpenAI released a trove of more than 700 mathematical preprints entirely generated by AI on 6 October. The San Francisco, California-based maker of ChatGPT posted the preprints on the software repository Github.
Although some mathematicians celebrated the solution of longstanding problems, others took to social media to complain about being scooped. Some were incensed at what one physicist called a ‘slopocalypse’, even if the mathematical content could end up being formally correct.


It should be noted that none of what they released has been verified. Throwing 700 papers out there is intentional to generate buzz, “hey look how great we are”, and to slow attempts at proving or disproving their results. That way even if a few get disproven early they can still say “well that’s just a couple out of hundreds” because it’s gonna take forever to work through the slop dump. It could be a long time before we get a percentage of accuracy and by then most people will have forgotten or lost interest since the headline will be stale by then.
Yeah this fucks the researchers. Funding could get pulled from related projects leaving their work in hiatus until someone can check the slop for accuracy. Till then someone can just point to this and say “oh it’s already been solved” like it’s a done deal already.
“Look how useful we are!!!” Turns in unverified crap
The Gish gallop is a rhetorical technique in which a person in a debate attempts to overwhelm an opponent by presenting an excessive number of arguments, without regard for their accuracy or strength, with a rapidity that makes it impossible for the opponent to address them in the time available. Gish galloping prioritizes the quantity of the galloper’s arguments at the expense of their quality.
The term “Gish gallop” was coined in 1994 by the anthropologist Eugenie Scott, who named it after the creationist Duane Gish, described by Scott as the technique’s “most avid practitioner”.[1][2]
thanks because you know I have seen this with trump and the right in the us but did not think of it in terms of something recognized.
You’re more patient than I am; I tune that nonsense right out.
But I bet if you isolated RW talking points, you’d find they’re not even proper arguments so much as emotional triggers. Like a common argument is “That’s socialism!” A good ghish gallop’s arguments at least have internal validity.
well what I mean is they will throw out things and when challenged or fact checked then go to a new thing. sometimes not new but proved false long enough ago that people forgot. but yeah a lot is poorly done to begin with but its using large amounts and going to a new one if its disproved and actually ignoring that they ever used it. Oh and then attacking fact checking places as being political for pointing out facts or yelling at news entities for doing it.
Yup. And by ragebaiting, they get favored by social media algorithms…
Someone should just say they are all wrong. Then tell OpenAI to prove which one is right.
deleted by creator
https://mathoverflow.net/questions/513540/should-we-trust-ai-generated-formal-proofs-in-lean-4
deleted by creator