Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
71
1kṀ50k
2040
29%
chance
Get
Ṁ1,000
to start trading!
Ordenar por:
comprou Ṁ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.

comprou Ṁ15 NO

no way

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

previuNO

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

previuNO

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

© Predita Markets, Inc.•Termos de Uso•Privacidade