Clickbaity title but I found the content interesting, concerning a growing push for more computer-verified proofs