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?

32

1kṀ12k

2050

8%

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

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

Will P vs NP be proven to be solvable by the end of 2030?

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?

Sort by:

This paper has been published in Frontiers of Computer Science, 2025, 19(12): 1912405
DOI: https://doi.org/10.1007/s11704-025-50231-4

The appendices include an extended abstract of the paper and comments from seven experts.

Computer Scientists Prove Some Logic Puzzles Have No Shortcuts
https://scienceblog.com/computer-scientists-prove-some-logic-puzzles-have-no-shortcuts/

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.

bought Ṁ40 YES

@Tasty_Y This paper has been published with severn comments from experts in Frontiers of Computer Science, 2025, 19(12): 1912405
DOI: https://doi.org/10.1007/s11704-025-50231-4

People are also trading

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

+4% 1d12% chance

Will P vs NP be proven to be solvable by the end of 2030?

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?

Related questions

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

Will P vs NP be proven to be solvable by the end of 2030?

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?

© Manifold Markets, Inc.•Terms•Privacy