Crossposted from the AI Alignment Forum. May contain more technical jargon than usual.

AI Alignment Writing Day Roundup #1

7Wei Dai

4Wei Dai

4Ben Pace

4Raemon

4Ben Pace

3Donald Hobson

2Ben Pace

2johnswentworth

2Raemon

23johnswentworth

8Scott Garrabrant

5Ben Pace

New Comment

Can someone please edit the original posts to point here, so future readers can find the additional comments?

I don't know much about first order logic - can someone who does tell me whether the two intuitive models in the post on Propositional Graphs are standard or not, and if not why one might want to use them?

Here are some of the posts from last week's writing day. Due to the participants writing 34 posts in less than 24 hours (!), I'm re-airing them to let people have a proper chance to read (and comment) on them, in roughly chronological order.

1) Markets are Universal for Logical Inductionby John SwentworthA discussion and proof of the following.

2) Intentional Bucket Errorsby Scott Garrabrant3) Logical Counterfactuals and Proposition graphs, Part 1by Donald HobsonThe post shows two intuitive models of proving propositional logic:

and another graph where:

4) Why so much variance in human intelligence?by meIn this question I ask a rambling question about why the difference between peak and median human performance is so much larger than for other species, and Vaniver and Carl Shulman give some fascinating answers.