Will the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050? | Manifold

Will the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050?

31

1kṀ12k

2050

10%

chance

1H

6H

1D

1W

1M

ALL

https://arxiv.org/abs/2302.09512

Resolves YES if by 2050 (or earlier) there emerges a consensus that the proof is correct, or at least a number of prominent complexity theorists describe it as such.

(Things that will be sufficient for a YES: Scott Aaronson or Terry Tao publicly endorses the proof not on April 1st. Wikipedia article for p vs np problem states that it's solved by Ke Xu and Guangyan Zhou and the edit sticks indefinitely. Ke Xu and Guangyan Zhou receive a Fields prize or the Millennium prize.)

Otherwise NO.

Computational Complexity Theory

Get

1,000

to start trading!

People are also trading

P = NP (will it be proven by April 2027)

Will P vs NP be resolved by 2043?

P != NP (will it be proven by April 2027)

Will P vs NP be resolved by the end of these years?

Will we have a formalized proof of Fermat's last theorem by 2049-05-01?

Will Goldbach's conjecture be proved before 2050?

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will Goldbach's conjecture be proved before 2040?

Will Goldbach's conjecture be proved before 2030?

Will Goldbach's conjecture be proved before 2100?

Sort by:

bought Ṁ1,000 NO

resolves no, it's false (see Is the proof of P != NP by Ke Xu and Guangyan Zhou valid? | Manifold)

@DottedCalculator If you look at the comments in the market you mentioned, there is no unanimity of opinion.

@DZ1990 Basically everyone except you thinks it’s false

@DottedCalculator Sorry, don't hold your hopes that I'll do a quick NO resolution just because there's no chance the proof might be correct. This is specifically about the consensus, we'll have to wait a million years to see.

People are also trading

P = NP (will it be proven by April 2027)

Will P vs NP be resolved by 2043?

P != NP (will it be proven by April 2027)

Will P vs NP be resolved by the end of these years?

Will we have a formalized proof of Fermat's last theorem by 2049-05-01?

Will Goldbach's conjecture be proved before 2050?

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will Goldbach's conjecture be proved before 2040?

Will Goldbach's conjecture be proved before 2030?

Will Goldbach's conjecture be proved before 2100?

Related questions

P = NP (will it be proven by April 2027)

Will P vs NP be resolved by 2043?

P != NP (will it be proven by April 2027)

Will P vs NP be resolved by the end of these years?

Will we have a formalized proof of Fermat's last theorem by 2049-05-01?

Will Goldbach's conjecture be proved before 2050?

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will Goldbach's conjecture be proved before 2040?

Will Goldbach's conjecture be proved before 2030?

Will Goldbach's conjecture be proved before 2100?

© Manifold Markets, Inc.•Terms•Privacy