Guessing to Gwern’s open questions

last modified: 2022-10-03