Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
34
114
Ṁ3.4KṀ670
2040
13%
chance
1D
1W
1M
ALL
Get Ṁ200 play money
Sort by:
@StrayClimb But proving the problem would also prove that it's provable. So it's impossible to prove that they can't be proven possible or impossible, since, in doing so, you would prove that they are impossible, a contradiction.
@StrayClimb I'm not going to go over each problem, but eg. RH is \Pi^0_1 and one of two Turing Machines must halt with a proof or counterexample.
Related questions
Will at least 4 of the 7 Millennium Problems be solved by 2040?
40% chance
Will at least 2 of the 7 Millennium Problems be solved by 2040?
65% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
25% chance
Will at least one of the remaining Millenium Problems be solved before 2030?
23% chance
Will all 7 Millennium Problems be solved by 2040?
21% chance
Will chess be solved by 2040?
10% chance
Will *any* remaining Millenium Prize problem be solved entirely or mostly by humans?
80% chance
Will chess be solved by 2100?
27% chance
Will a correct solution to a Millennium Prize Problem be published by the end of 2030?
31% chance
Will an unsolved millenium prize problem be solved by AI by the end of 2028
24% chance