P != NP (will it be proven by April 2027) | Manifold

P != NP (will it be proven by April 2027)

Plus

52

Ṁ4306

2027

8%

chance

1D

1W

1M

ALL

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)

This question is managed and resolved by Manifold.

#Millennium Prize Problems

#Computational Complexity Theory

Get

1,000

and

3.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

Will P vs NP be resolved by 2043?

+22% 1d51% chance

Solution or major advances to P=NP with AI help, paper available by mid 2028

-23% 1d27% chance

Will AI resolve P vs NP by 2050?

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will P vs PSPACE be resolved before P vs NP?

Solution or major advances to P=NP with AI help, paper available by mid 2037

+11% 1d61% chance

P = NP (will it be proven by April 2027)

Will a plausible proof obfuscator be found by end of 2024?

Will the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050?

Will P vs NP be resolved before man lands on Mars?

Related questions

Will P vs NP be resolved by 2043?

Solution or major advances to P=NP with AI help, paper available by mid 2037

Solution or major advances to P=NP with AI help, paper available by mid 2028

P = NP (will it be proven by April 2027)

Will AI resolve P vs NP by 2050?

Will a plausible proof obfuscator be found by end of 2024?

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050?

Will P vs PSPACE be resolved before P vs NP?

Will P vs NP be resolved before man lands on Mars?

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