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.

xrchz comments on Superintelligence Reading Group - Section 1: Past Developments and Present Capabilities - Less Wrong Discussion

25 Post author: KatjaGrace 16 September 2014 01:00AM

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

Article Navigation

Comments (232)
Tags: superintelligence-reading-group futurism superintelligence ai

Comments (232)

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

Comment author: xrchz 03 October 2014 08:53:56PM 2 points [-]

They're not yet close to being taken over by AI, but there has been research on automating all of the above. Some possibly relevant keywords: automated theorem proving, and program synthesis.

Powered by Reddit Powered by Reddit