**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. … I**t 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.**