Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
42
1kṀ31k2040
27%
chance
1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
1,000Sort 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
Related questions
Will at least 4 of the 7 Millennium Problems be solved by 2040?
51% chance
Will all 7 Millennium Problems be solved by 2040?
26% chance
Will all Millennium prize problems be solved (or proved unsolvable) by 2030?
10% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2040?
75% chance
Will all Millennium Prize problems by solved by the end of the century?
57% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
51% chance
Will a correct solution to a Millennium Prize Problem be published by the end of 2030?
55% chance
Will another Millennium Problem be resolved before the end of 2025?
7% chance
Will an AI System Solve One of the Remaining Millennium Prize Problems by June 2025?
1% chance
Will at least 2 of the 7 Millennium Problems be solved by 2040?
72% chance