Number Theorist Fears All Published Math Is Wrong

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

Maybe it is really only a form of engineering, doesn't have to be perfectly right as long as it works.