Will a proofnik make IMO before the end of 2028?
15
342
Ṁ2KṀ270
2029
94%
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 Ṁ200 play money
Related questions
Will I (Yotam Budnik), get sent to IMO 2024?
75% chance
What will Neophiliatic get at IMO 2024?
Will a plausible proof obfuscator be found by end of 2024?
76% chance
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
65% chance
Will the IMO grand challenge be completed before the end of 2030?
57% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
32% chance
Will we have a proof of the Riemann Hypothesis by 2060?
46% chance
What year will the IMO grand challenge be completed?
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
63% chance
Will AI get at least bronze on the IMO by 2025?
41% chance