All answers resolve to YES when an AI wins IMO gold. Each answer resolves to NO with X% chance each year.
Resolves to NO with 0.01% chance each year.
Resolves to NO with 0.1% chance each year.
Resolves to NO with 1% chance each year.
Resolves to NO with 2% chance each year.
Resolves to NO with 5% chance each year.
Resolves to NO with 10% chance each year.
Resolves to NO with 25% chance each year.
Resolves to NO with 50% chance each year.
Resolves to NO with 99% chance each year.

Every answer immediately resolves YES if AI wins IMO gold, i.e. once there is a plausible demonstration that there exists an AI system which can get a gold medal on that year's International Mathematical Olympiad, and it is very likely that the year's IMO wasn't in the training data. Also resolves YES on a consensus that a certain AI system could have achieved an IMO gold (e.g., it solves a Millennium problem), but the year's IMO happens to be in the training dataset.

Else, every year on 1 Jan or shortly thereafter, starting with 1 Jan 2025, I will use a public source of randomness to independently roll for a possible NO resolution of each answer. (A source which allows one to specify in advance the locations where the random numbers will in the future be written, so that my shenanigans are ~impossible conditional on me not actually controlling that source of randomness.)

I will bet. In the event of a whatsoever contentious resolution I'll defer resolution to a trusted group of Manifold users, such as a poll of moderators.

Get Ṁ600 play money
Sort by:

Just a heads-up: you have an inherent advantage when betting, since you can bet first after determining the random numbers, unless you use a public source for random numbers that is revealed to everyone at a time known in advance.

@FlorisvanDoorn Yeah, I was planning to do that, though if I do FairlyRandom then I guess I do have that advantage. Absolutely not my intention to profit from betting NO after the roll though, so I hereby pledge not to buy any NO after rolling it, and in any case not to buy any shares for at least 24 hours after the roll. Thanks for bringing it up. :)

Interesting market.

I just made a similar market inspired by this one:

One can in theory compute some probabilities for this market based on this:

@Lovre i recommend using, the canonical source of randomness for resolution-relevant decisions on Manifold

@BoltonBailey Looks good! I'll probably use that if it's still maintained a year from now.

More related questions