Re:Asking robots to design stained glass windows
by FeepingCreature on Tuesday May 31, 2022 @08:31PM
(#31576613)
> 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.
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.