OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

Source: github.com
42 points by tootie 22 hours ago on hackernews | 2 comments

parent directory

..