OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

2 comments

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