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 any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
56% chance
Will P vs NP be resolved by 2043?
51% chance
Will a plausible proof obfuscator be found by end of 2024?
63% chance
Will AI resolve P vs NP by 2050?
37% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
74% 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 Goldbach's conjecture be proved before 2050?
61% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
65% 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)
82% chance