> there is no demonstratably correct method of doing that AIXI has some correctness proofs. In an admittedly esoteric sense, it does make "optimal use of infor

> there is no demonstratably correct method of doing that AIXI has some correctness proofs. In an admittedly esoteric sense, it does make "optimal use of information". I do think those parts philosophically hold up. For an interesting view on Gödel, see Garrabrant's logical induction paper; you can bypass some aspects of that by working probabilistically. > "…and that's why you should live in our group home" People try things because they think they work, and that's why LW is a cult. > "…and that's why you should get rich and donate it all to evil AGI research". People recommend things because they think they're correct, and that's why LW is a cult. Also, anti-evil AGI-research. That's kind of an important aspect. I don't know what's going on with the postrats either.