Is any Millenium problem independent of ZFC?
3
11
Ṁ47Ṁ110
2100
40%
chance
1D
1W
1M
ALL
Resolves NO once they're all solved, or YES with an independence proof.
Get Ṁ200 play money
Related questions
Related questions
Will the next Millennium Problem be solved by an AI?
46% chance
Are any Millennium Prize problems undecidable/unprovable/unsolvable?
23% chance
Will a Millenium problem be formally stated in a theorem prover by 2025
59% chance
Can integer factorization be solved in polynomial time on a classical computer?
10% chance
Will ZFC no longer be the standard foundation for mathematics by 2050?
34% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
27% chance
Which millenium problem will be solved first?
Will all 7 Millennium Problems be solved by 2040?
21% chance
Is the 20th Busy Beaver number independent of set theory?
34% chance
Are there infinitely many composite Fermat numbers?
98% chance