ESRogs comments on IMO challenge bet with Eliezer

[ESRogs]

Hmm, in that case, would “all the problems” be better than either “hardest problem” or “gold”?