Every month or so, an email appears in Stephen Cook’s inbox from someone claiming to have solved one of the most important questions in computational science. Should one of Cook’s correspondents ...

Quick verification A quantum computer has been shown to be faster than a classical one at verifying the solution to an NP-complete problem when provided with only a ...

Thousands of notoriously difficult problems in computer science are actually the same problem in disguise If you're enjoying this article, consider supporting our award-winning journalism by ...