OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

(github.com)

41 points | by tootie 12 hours ago ago

3 comments

hoppyhoppy2 11 hours ago ago

Already posted at https://news.ycombinator.com/item?id=49984923
[-]
- dang 11 hours ago ago
  
  Comments moved thither. Thanks!
11 hours ago ago

[deleted]