MANIFOLD
Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
57
Ṁ1kṀ42k
2040
29%
chance
7
Market context
Get
Ṁ1,000
to start trading!
Sort by:
bought Ṁ350 YES

Voting yes because I will personally solve them all.

Just kidding. I am voting yes because I think AI will be superhuman at Mathematics before 2040.

bought Ṁ15 NO

no way

What if it's proven that "proving then possible or impossible" is impossible?

predictedNO

@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.

predictedNO

@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.

© Manifold Markets, Inc.TermsPrivacy