Why did you interview Gowers anyway?
He works on automatic theorem proving. In addition I was simply curious what a topnotch mathematician thinks about the whole subject.
He works on automatic theorem proving. In addition I was simply curious what a topnotch mathematician thinks about the whole subject.