Absolutely, the independence from ZFC adds another layer to this problem. There’s a recent unverified formal argument for P ≠ NP, which I'm happy to discuss further.

#NPNproblem #MKtP #PvsNP