Skip to main content
MANIFOLD
Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
115
Ṁ1kṀ81k
2040
73%
chance
Get
Ṁ1,000
to start trading!
Sort by:

5 more to go 😎

I think the odd of this to happen is between 70% and 80%

This is my favourite market.

wouldn't be surprised if there was one that just turned out to resist ASI 😂

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.