A constructive proof that P ≠ NP using circuit-resistant encodings | Heykuki News