OpenAI just dropped 700 preprints of mathematical proofs and counterexamples github.com 42 points by tootie 23 days ago · 3 comments Reader PiP Save Collapse all Expand all 1 thread hoppyhoppy2 23 days ago Already posted at https://news.ycombinator.com/item?id=49984923 dang 23 days ago Comments moved thither. Thanks!