P ≠ NP? It's bad news for the power of computing 10 August 2010 Some mathematical problems will remain hard no matter how cunning your computer program, a new proof has shown