OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

42 points by tootie 22 hours ago on hackernews | 2 comments

hoppyhoppy2 | 22 hours ago

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

: dang | 22 hours ago
Comments moved thither. Thanks!