Will a proofnik make IMO before the end of 2028?
Standard
16
Ṁ20022029
93%
chance
1D
1W
1M
ALL
Former students count, can be any IMO team, not just US. Must participate in the IMO before the end of 2028, not just qualify for a team.
Get
1,000
and1.00
Related questions
Related questions
Will I make IMO 2025?
89% chance
Will I make IMO 2025?
35% chance
Will I make IMO 2025?
70% chance
Will the IMO grand challenge be completed before the end of 2025?
45% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
48% chance
Will I make IMO 2025?
33% chance
Will I make IMO ever
52% chance
Will a publicly-available LLM achieve gold on IMO before 2026?
36% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
20% chance
Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?
56% chance