OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

3 comments

• hoppyhoppy2 11 hours ago

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

  [-]
  • dang 11 hours ago

    Comments moved thither. Thanks!

• ‍ 11 hours ago
  [deleted]