Vladimir Alexandrovich Voevodsky Winner of the 2002 Fields Medal passed away earlier this year. Way too early. Explore his UNIVALENT FOUNDATIONS (2014), where he stated:
I think it was at this moment that I largely stopped doing what is called “curiosity-driven research” and started to think seriously about the future. … 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.
archsix 