P != NP (will it be proven by April 2027)
➕
Plus
52
Ṁ4306
2027
8%
chance

Will this be proven to the satisfaction of most mathematicians and computer scientists in 5 years? Apr 7, 12:55pm: Companion market here (for P = NP) https://manifold.markets/LarsDoucet/p-np

Mar 14, 4:41pm: P != NP → P != NP (will it be proven by April 2027)

#Math
#Science
#Millennium Prize Problems
#Computational Complexity Theory
Get
Ṁ1,000
and
S3.00
Sort by:
predictedYES

This title is highly misleading, would you mind fixing it?

> Will this be proven to the satisfaction of most mathematicians and computer scientists in 5 years? If the claim "P != NP" is not proven to be true to the satisfaction of most mathematicians and computer scientists in 5 years, it resolves to No.
The way it's phrased it implies you'll resolve to `N/A` if nothing changes from the status quo-- there's no proof either way. Is this what you intend? It's also unclear how to resolve if there's a formal undecidability proof of `=` or `!=`
Comment hidden

Related questions

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