Will this statement 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-537cbc88aa90
Mar 14, 4:41pm: P = NP → P = NP (will it be proven by April 2027)
@IsaacKing According to the description, it's actually asking whether this will be proven within ~4 years. That's what the title should say.
@LarsDoucet I get the impression that I may have come across as rude in my previous comments; is that also your impression? (If so, I'm sorry, that wasn't my intention.)
@IsaacKing It's fine, but "highly misleading" might not be the best thing to lead with ;) "The title is somewhat unclear, would you mind fixing it" is a less risky line to go with.