hoppyhoppy2
11 hours ago
Already posted at https://news.ycombinator.com/item?id=49984923
dang
11 hours ago
Comments moved thither. Thanks!
OpenAI just dropped 700 preprints of mathematical proofs and counterexamples
41 pointsposted 11 hours ago
by tootie3 Comments
user
11 hours ago
[deleted]