OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

 (github.com)

35 points | by tootie 26 minutes ago

1 comments