I think the FAI research done by Eliezer and Marcello since CEV’s publication has included work on formalizing it mathematically, but that’s not available to the public
I’m curious—where did you hear this, if it’s not available to the public? And why isn’t it available to the public? And who’s Marcello? There seems to be virtually no information in public circulation about what’s actually going on as far as progress towards implementing CEV/FAI.… is current progress being kept secret, or am I just not in the loop? And how does one go about getting in the loop?
Marcello is Marcello Herreshoff, a math genius and all around cool guy who is Eliezer’s apprentice/coworker. Eliezer has mentioned on LW that he and Marcello “work[ed] for a year on AI theory”, and from conversations about these things when I was at Benton(/SIAI House) for a weekend, I got the impression that some of this work included expanding on and formalizing CEV, though I could be misremembering.
(Regarding “where did you hear this, if it’s not available to the public?” — I don’t think the knowledge that this research happened is considered a secret, only the content of it is. And I am not party to any of that content, because I am still merely a wannabe FAI researcher.)
I’m curious—where did you hear this, if it’s not available to the public? And why isn’t it available to the public? And who’s Marcello? There seems to be virtually no information in public circulation about what’s actually going on as far as progress towards implementing CEV/FAI.… is current progress being kept secret, or am I just not in the loop? And how does one go about getting in the loop?
Marcello is Marcello Herreshoff, a math genius and all around cool guy who is Eliezer’s apprentice/coworker. Eliezer has mentioned on LW that he and Marcello “work[ed] for a year on AI theory”, and from conversations about these things when I was at Benton(/SIAI House) for a weekend, I got the impression that some of this work included expanding on and formalizing CEV, though I could be misremembering.
(Regarding “where did you hear this, if it’s not available to the public?” — I don’t think the knowledge that this research happened is considered a secret, only the content of it is. And I am not party to any of that content, because I am still merely a wannabe FAI researcher.)