"It soon became clear that the only real long-term solution to the problems that I encountered is to start using computers in the verification of mathematical reasoning."
January 1, 1970
https://en.wikiquote.org/wiki/Vladimir_Voevodsky