see https://manifold.markets/strutheo/will-a-millennium-prize-problem-be?play=true
The Millennium Prize Problems are seven well-known complex mathematical problems selected by the Clay Mathematics Institute in 2000. The Clay Institute has pledged a US$1 million prize for the first correct solution to each problem.
https://en.wikipedia.org/wiki/Millennium_Prize_Problems
If none are solved by AI in 2025, then all options will resolve NO
@LCBOB Doesn't seem low to me. Imagining these are independent events, at 5% each the probability that at least one occurs is >20%. Of course these events are not exactly independent, but also I think the probability that we resolve a millennium problem next year (regardless of AI's role in a potential solution) is well below 10%.