[math-fun] Possible unfixable problem with recent proof of P=NP