Reposted by Commie Machinist
OpenAI just blooped hundreds of proofs and counterexamples to open problems: github.com/openai/math/...
Boggling.
github.com
math/preprints at main · openai/math
Contribute to openai/math development by creating an account on GitHub.