Post #1441657

We hit 1000 `research open` problems, i.e. open conjecture today on Formal Conjectures. And also the big round number milestone 1024 (https://xkcd.com/1000/) https://google-deepmind.github.io/formal-conjectures/ Many thanks to all the contributors! https://github.com/google-deepmind/formal-conjectures/graphs/contributors