Will a proofnik make IMO before the end of 2028?
Plus
18
Ṁ20672029
88%
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.
This question is managed and resolved by Manifold.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
Will I make IMO 2025?
64% chance
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
60% chance
Will the IMO grand challenge be completed before the end of 2025?
45% chance
Will I make IMO 2025?
88% chance
Will I make IMO 2025?
33% chance
Will I make IMO 2025?
35% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
17% chance
Will I qualify for IMO 2025?
82% chance
Will I make IMO ever
61% chance
Will a publicly-available LLM achieve gold on IMO before 2026?
37% chance