How many problems in IMO 2024 will be by Merlijn Staps?
Plus
9
Ṁ6295Jul 17
72%
0
23%
1
3%
2
1.7%
3
1.0%
4
1.0%
5
1.0%
6
Resolves when IMO 2024 problem authors get released
This question is managed and resolved by Manifold.
Get
1,000
and3.00
Related questions
Related questions
How many problems on IMO 2024 will be by Merlijn Staps?
Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?
60% chance
Will any AI be able to formalize >=90% of IMO problems by the start of 2025?
17% chance
Will there be 2 or more combinatorics problems on IMO 2025 x Will AI get a gold medal on IMO 2025?
Will a problem on the 2025 IMO nontrivially use the fact that 2025 is a square?
27% chance
How many years will pass between AI getting an IMO bronze medal and IMO perfect score?
How many years between an AI scoring bronze on an IMO and an AI solving half of a Miklós Schweitzer exam?
4