‘Ahead of his time’: AI helps unlock discoveries hidden in notebooks of man who transformed maths The Guardian