The [paper][1] “One Hundred and Two Problems in Mathematical Logic” by Harvey Friedman is an article that lists 102 problems in mathematical logic. These problems were selected in the form of statements "at least as likely as their negations". The problems were open as of 1973, and has a postscript from September 1974 with news of three of the problems being solved. [1]: https://www.jstor.org/stable/2271891