Various mathematical objects have been conjectured to exist despite no examples being known; for some of these conjectures, verification of an explicit example would be very simple. In this market, each option will resolve to YES if an example is found before 2030; proof of non-existence will resolve NO, and a general proof of existence without an example is not sufficient. These examples can be found using any method (by humans, AI, or a combination).