Will the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050?
Plus
22
Ṁ58402050
17%
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.
Get
1,000and
3.00
1,0003.00Related questions
Related questions
Will we have a proof of the Riemann Hypothesis by 2060?
55% chance
Will P vs NP be resolved by 2043?
31% chance
Will a plausible proof obfuscator be found by end of 2024?
53% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
65% chance
Will AI resolve P vs NP by 2050?
27% chance
Will Goldbach's conjecture be proved before 2040?
42% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
38% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
59% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
65% chance