This market resolves when AI wins IMO gold. To be more precise, when the grand prize of this competition is awarded: https://aimoprize.com/
If the group that receives the grand prize announces that they have won IMO gold before the prize is awarded, then that date will be used retroactively.
Starting January 2025, each year around Jan 1 I will ask @FairlyRandom for a random number between 1 and 1024. This market resolves PROB to 10*log(lowest number rolled)/log(2).
It will resolve YES if this market resolves before 2025. It will resolve NO early if a 1 is rolled.
I will not bet on this market.
Update 2025-01-01 (PST): - Maximum resolution: 81% (unless IMO gold was already won, but this information has not yet been made public). (AI summary of creator comment)
1,000People are also trading
@FlorisvanDoorn your random number is: 280
Salt: 42oauiywy84, round: 4678227 (signature a77cd7cf1b3b4090b5e067a059d669779b2c8570d9dae04f7e03d2923223aba25a5c375221590dd5568c0614f82ca90102173521cf23e73ba4155ad0e6243dc42f1134a8d3063b0600b46cf6c4ff2355b3343415c53a90157bae53a621172c2a)
@FlorisvanDoorn you asked for a random integer between 1 and 1024, inclusive. Coming up shortly!
Source: GitHub, previous round: 4678225 (latest), offset: 2, selected round: 4678227, salt: 42oauiywy84.
Betting guide: if you think that it will take roughly 2^n years for AI to win IMO gold, I recommend that you bet this market to roughly 100 - 10*n percent.
Example: if you think it will take roughly 16 = 2^4 years for AI to win IMO gold, then there will be roughly 15 rolls. In 15 rolls, the minimum number will be 1024/16 = 64 on average, and that means the market will resolve to 10*log(64)/log(2) = 60, which is indeed the recommended percentage in this comment.
Disclaimer: Although I am a mathematician, this is not a full mathematical proof. The actual percentage you should bet might be off by a few percentage points.
@CamillePerrin it is to ensure that plenty of betting space is left even if the market doesn't resolve for 10 years or so. Also, it makes the risk smaller for YES bettors that an early low roll occurs.