Which set theory? I'm assuming ZFC

This is very probably true, as in YES > 95% chance, but I am not counting on the resolution criteria holding that up.

@DavidBolin What criteria should it use?

Sorry for lateness in responding to comments. Close date updating to 9999.

Like, by EOY 2023? How will you know the answer by that time?

@wadimiusz Agreed. The question is interesting (it's from Scott Aaronson's survey paper), the close date is not. Close date should be decades away or more, IMO.

How are you gonna resolve this, though?

I think your markets are very cool.