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 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 ever
67% chance
Will I make IMO 2025?
95% chance
Will I make IMO 2025?
31% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
17% chance
Will the AIMO Prize be claimed before the end of 2024
26% chance
Will I make IMO 2025?
31% chance
Will I make IMO 2025?
35% chance
Will the "AI get gold on any IMO by the end of 2025" market resolve YES before the 2025 IMO?
32% chance
Will the IMO grand challenge be completed before the end of 2025?
80% chance