Will the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050?
Plus
24
Ṁ61402050
19%
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 formalized proof of Fermat's last theorem by 2029-05-01?
72% chance
Will a plausible proof obfuscator be found by end of 2024?
53% chance
Will P vs NP be resolved by 2043?
30% chance
Will AI resolve P vs NP by 2050?
36% chance
Will Goldbach's conjecture be proved before 2040?
44% chance
Will a plausible post-quantum proof obfuscator be found by end of 2024?
30% 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?
61% 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)
71% chance