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

·Science and Technology

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)