I already asked Timothy Gowers a similar question and I really don’t understand how people can believe this.
Why did you interview Gowers anyway? It’s not like he has any domain knowledge in artificial intelligence.
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.
Why did you interview Gowers anyway? It’s not like he has any domain knowledge in artificial intelligence.
He works on automatic theorem proving. In addition I was simply curious what a topnotch mathematician thinks about the whole subject.