Let us move to Algorithmic, Inductive, Experimental, approach to mathematics

Main page of his opinions https://news.ycombinator.com/item?id=39056900