Vivek Hebbar's Shortform

It's sad that agentfoundations.org links no longer work, leading to broken links in many decision theory posts (e.g. here and here [LW · GW])

A framing I wrote up for a debate about "alignment tax":

1. "Alignment isn't solved" regimes:
   1. Nobody knows how to make an AI which is {safe, general, and broadly superhuman}, with any non-astronomical amount of compute
   2. We know how to make an aligned AGI with 2 to 25 OOMs more compute than making an unaligned one
2. "Alignment tax" regimes:
   1. We can make an aligned AGI, but it requires a compute overhead in the range 1% - 100x.  Furthermore, the situation remains multipolar and competitive for a while.
   2. The alignment tax is <0.001%, so it's not a concern.
   3. The leading coalition is further ahead than the alignment tax amount, and can and will execute a pivotal act, thus ending the risk period and rendering the alignment tax irrelevant.

A person whose mainline is {1a --> 1b --> 2b or 2c} might say "alignment is unsolved, solving it mostly a discrete thing, and alignment taxes and multipolar incentives aren't central"

Whereas someone who thinks we're already in 2a might say "alignment isn't hard, the problem is incentives and competitiveness"

Someone whose mainline is {1a --> 2a} might say "We need to both 'solve alignment at all' AND either get the tax to be really low or do coordination.  Both are hard, and both are necessary."

Results on logarithmic utility and stock market leverage: https://www.lesswrong.com/posts/DMxe4XKXnjyMEAAGw/the-geometric-expectation?commentId=yuRie8APN8ibFmRJD [LW(p) · GW(p)]