OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

3 comments

• hoppyhoppy2 4 hours ago

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

  [-]
  • dang 4 hours ago

    Comments moved thither. Thanks!

• 4 hours ago
  [deleted]