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.

Stuart_Armstrong comments on Versions of AIXI can be arbitrarily stupid - Less Wrong Discussion

15 Post author: Stuart_Armstrong 10 August 2015 01:23PM

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

Article Navigation

Comments (59)
Tags: ai optimality aixi

Comments (59)

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

Comment author: Stuart_Armstrong 11 August 2015 11:07:35AM 0 points [-]

I can't read past the abstract, but I'd find this more reassuring if it didn't require Turing oracles.

That's the first step.

my instincts are that while this problem might exist, you would only actually run into it if using a language specifically designed to create this problem.

My instincts agree with your instincts, but that's not a proof... A bit more analysis would be useful.

Comment author: skeptical_lurker 11 August 2015 07:22:48PM 0 points [-]

My instincts agree with your instincts, but that's not a proof... A bit more analysis would be useful.

Rigorous analysis certainly is useful, but I don't think I've studied theoretical compsci at a high enough level to attempt a proof.

Powered by Reddit Powered by Reddit