[wjnc]

My philosophy of math muscles tingle at both sentences at about the same rate.

P=NP and P=!NP are both proven nor disproven. (There is redundant information in this sentence.)

History shows us that the historical / ‘effort’ argument is not applicable to mathematics. All proofs were unproven once until proven successfully for the first time. Harder problems need bigger shoulders to stand on. Sometimes this is due to new tools, sometimes it is a magically gifted individual focusing on the problem, usually some mix of both. All we know is that all before have failed. It’s one of the beauties in math.