“Why is OpenAI trying to solve hundreds of math problems to be released all at once?”, he added.

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.

some mathematicians who might find their research projects pre-empted by the OpenAI release. “We should put that aside for today though. … he wrote, because it shows how quickly the technology has become useful to mathematicians.”

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