OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

OpenAI just dropped 700 preprints of mathematical proofs and counterexamples

Article URL: https://github.com/openai/math/tree/main/preprints Comments URL: https://news.ycombinator.com/item?id=49985740 Points: 3 # Comments: 2

Comment