You're looking at Less Wrong's discussion board. This includes all posts, including those that haven't been promoted to the front page yet. For more information, see About Less Wrong.

Mark_Friedenbach comments on LessWrong's attitude towards AI research - Less Wrong Discussion

8 Post author: Florian_Dietz 20 September 2014 03:02PM

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

Comments (49)

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

Comment author: [deleted] 21 September 2014 03:01:23AM 2 points [-]

AI is extremely well formalized. Every aspect of AI has strong mathmatical foundations and impressive theoretical results. What are you thinking hasn't been worked out yet?

Comment author: Vulture 23 September 2014 08:43:29PM 0 points [-]

I'm sure MIRI would appreciate it if you could point to the results that make their work redundant.

Comment author: ChristianKl 24 September 2014 10:48:03AM 0 points [-]

The word AI has a specific meaning and is not synonymous with AGI. There's indeed a lot of mathematics of AI published.

Comment author: [deleted] 23 September 2014 09:27:20PM *  0 points [-]

MIRI isn't working on AI, nor do they intend to in the near future. What MIRI is working on has nothing at all to do with actual AI/AGI implementations. They have said this publicly; this is not (or should not be) controversial.