Green's open problem list

Stream: Formal conjectures

[Anirudh Rao]

I saw this pdf linked on #510 and thought to post it here to give some attention to it. Some of the problems are repeated from the Erdos problems (like #510 being the same as 81 on the pdf) but a lot are new problems I hadn't heard of. I'm planning on adding each problem not covered by the Erdos problems as individual issues (when it isn't so late for me)

[Moritz Firsching]

very nice, I have been meaning to add a link to Green's list to the Readme as an example of dedicated problems list as well!

[Anirudh Rao]

I've added a couple of the problems as issues but unfortunately can't add the AMS tags as well. Also, wow creating all these issues is tedious. Massive kudos to @Moritz Firsching for how many Erdos problem issues he's created.

[Anirudh Rao]

unrelated but erdosproblems #342 also linked this book that might be good to add more problems (though it needs institutional access) - https://link.springer.com/book/10.1007/978-0-387-26677-0

[Joseph Myers]

Anirudh Rao said:

unrelated but erdosproblems #342 also linked this book that might be good to add more problems (though it needs institutional access) - https://link.springer.com/book/10.1007/978-0-387-26677-0

Note that as well as that book (Unsolved Problems in Number Theory), the series Unsolved Problems in Intuitive Mathematics has a second book Unsolved Problems in Geometry - https://link.springer.com/book/10.1007/978-1-4612-0963-8 - though since it never had a second edition, there would be a lot of work to figure out what's been solved since 1991 (the 1994 reprint has a brief note listing sections on which there had been "major progress", with no further details given).

[Moritz Firsching]

I started with the first problem from Green's list, to establish a convention for the name of directory/namespace, https://github.com/google-deepmind/formal-conjectures/pull/899, reviews welcome