A machine has verified the maths that won a Fields Medal: why it matters