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?

Plus

30

Ṁ12k

2050

10%

chance

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.

This question is managed and resolved by Manifold.

#Computational Complexity Theory

Get

1,000

and

3.00

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.

Related questions

Will all Millennium prize problems be solved (or proved unsolvable) by 2040?

Will AI resolve P vs NP by 2050?

Will Goldbach's conjecture be proved before 2040?

Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?

Will we have a proof of the Riemann Hypothesis by 2060?

Will P vs NP be resolved by 2043?

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

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

Will Goldbach's conjecture be proved before 2050?

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

Related questions

Will all Millennium prize problems be solved (or proved unsolvable) by 2040?

Will P vs NP be resolved by 2043?

Will AI resolve P vs NP by 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 we have a formalized proof of the Modularity theorem by 2029-05-01?

Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?

Will Goldbach's conjecture be proved before 2050?

Will we have a proof of the Riemann Hypothesis by 2060?

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

© Manifold Markets, Inc.•Terms + Mana-only Terms•Privacy•Rules