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

[Anirudh Rao]

Oh gosh, it's been 3 months and I hadn't raised the rest of the issues I promised... apologies! I've gotten up to 30 (FC#1565) now.

Btw, @Moritz Firsching I noticed that the AMS categories in the Green's open problems issues raised in October were removed so I didn't add them to the ones I had raised today. Do you have a preference of whether I should add them or not?

[Yaël Dillies]

Would be better to add them IMO

[Anirudh Rao]

Yeah, I had a thought around the mid-twenty mark that putting my opinion for what the AMS categories should be would be a little less work on maintainers' end.

[Anirudh Rao]

Never updated it here, but I raised issues for each of the open problems :slight_smile: