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

<a href="https://news.ycombinator.com/item?id=49985740">Comments</a>