paper-machine comments on 2013 Survey Results - Less Wrong

74 Post author: Yvain 19 January 2014 02:51AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (558)

You are viewing a single comment's thread. Show more comments above.

Comment author: [deleted] 21 January 2014 06:41:41PM 0 points [-]

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.

Comment author: XiXiDu 21 January 2014 07:35:27PM *  2 points [-]

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.