OpenAI just dropped 700 preprints of mathematical proofs and counterexamples (github.com)

Seemingly none are vetted and reviewed yet

Already posted at https://news.ycombinator.com/item?id=49984923

Why should I care?

i wonder what it means for maths researchers, and how it aligns with how they approach math problems.

So the million monkeys at a million typewriters have churned out 700 shakespeares, but they need me for spellcheck?

The math equivalent of AI code reviews piling up. I wonder where the incentives will align and the equilibrium turns out.