In short, we’ve reinvented cranks sending unsolicited, poorly written putative proofs

Except that the proofs are very likely valid. This is a country of Ramanujans in a data center. You're free to ignore them because they don't follow your style guide, the rest of us will enjoy seeing humans and AIs build on the results.

	▲	creata an hour ago \| parent [-]
		> the rest of us will enjoy seeing humans and AIs build on the results. That would be nice, but the rest of the world wasn't interested in the results before and they won't be interested after. I wonder what this means long term. Maybe mathematicians will keep plodding on as usual except sporadically when an AI company need a marketing boost so they spend millions of dollars to dunk on them. Because the mathematicians sure don't have that kind of money.