OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

2 comments

• hoppyhoppy2 49 minutes ago
  Already posted at https://news.ycombinator.com/item?id=49984923
  [-]
  • dang 34 minutes ago
    Comments moved thither. Thanks!