A mathematician was keen to forecast the evolution of the COVID epidemic. Instead, he ended up solving a problem which had troubled computer scientists for decades.