P = NP?

Als het makkelijk is om te checken of een oplossing van een wiskundig probleem klopt, is het dan ook eenvoudig­ om zo’n oplossing te vinden? Al vijftig jaar buigen ­wetenschappers zich over deze ­fundamentele kwestie. Nu proberen ze met verschillende wiskundige technieken een doorbraak te realiseren.

Haperend komt de verbinding tot stand. Op het scherm verschijnen een voor een de namen van verschillende grote wetenschappers. Het is tijd voor de jaarlijkse STOC-conferentie voor theoretische informatica. Op diezelfde conferentie presenteerde de Amerikaans-Canadese informaticus en wiskundige Stephen Cook in 1971 een ongelofelijk lastig wiskundig vraagstuk aan zijn collega’s: is P gelijk aan NP? In 2021 helpt zijn kleinzoon de inmiddels 81-jarige Cook om het beeld en geluid aan de praat te krijgen voor de online variant die dit jaar plaatsvindt. Ter ere van het vijftigjarige jubileum komen de hoofdrolspelers van toen nog eenmaal – virtueel – bij elkaar.