AI Alignment Writing Day Roundup #1

4Wei Dai

2Wei Dai

2Ben Pace

2Raymond Arnold

2Ben Pace

2Donald Hobson

1Ben Pace

1johnswentworth

1Raymond Arnold

7johnswentworth

4Scott Garrabrant

3Ben 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.