IIRC, officially the Gatekeeper pays the AI if the AI wins, but no transfer if the Gatekeeper wins. Gives the Gatekeeper more motivation not to give in.
Just found out about this paper from about a year ago: "Explainability for Large Language Models: A Survey"
(They "use explainability and interpretability interchangeably.")
It "aims to comprehensively organize recent research progress on interpreting complex language models".
I'll post anything interesting I find from the paper as I read.
Have any of you read it? What are your thoughts?
What if the incorrect spellings document assigned each token to a specific (sometimes) wrong answer and used that to form an incorrect word spelling? Would that be more likely to successfully confuse the LLM?
The letter x is in "berry" 0 times.
...
The letter x is in "running" 0 times.
...
The letter x is in "str" 1 time.
...
The letter x is in "string" 1 time.
...
The letter x is in "strawberry" 1 time.
Good point, I didn’t know about that, but yes that is yet another way that LLMs will pass the spelling challenge. For example, this paper uses letter triples instead of tokens. https://arxiv.org/html/2406.19223v1#:~:text=Large language models (LLMs) have,textual data into integer representation.
Spoiler free again:
Good to know there’s demand for such a review! It’s now on my todo list.
To quickly address some of your questions:
Pros of PL: If the premise I described above interests you, then PL will interest you. Some good Sequences-style rationality. I certainly was obsessed reading it for months.
Cons: Some of the Rationality lectures were too long, but I didn’t mind much. The least sexy sex scenes. Because they are about moral dilemmas and deception, not sex. Really long. Even if you read it constantly and read quickly, it will take time (1.8 million words will do that). I really have to read some authors that aren’t Yud. Yud is great, but this is clearly too much of him, and I’m sure he’d agree.
I read PL when it was already complete, so maybe I didn’t get the full experience, but there really wasn’t anything all that strange about the format (the content is another matter!). I can imagine that *writing * a glowfic would be a much different experience than writing a normal serialized work (ie dealing with your co-authors), but reading it isn’t very different from reading any other fiction. Look at the picture to see the POV, look at who’s the author if you’re curious, and read as normal. I’m used to books that change POV (though usually not this often). There are sometimes bonus tangent threads, but the story is linear. What problems do you have with the glowfic format?
Main themes would require a longer post, but I hope this helps.
My notes for the “think for yourself” sections. I thought of some of the author’s ideas, and included a few extra.
#Making a deal with an AI you understand:
Can you see the deal you are making inside of its mind? Some sort of proportion of resources humans get?
What actions are considered the AI violating the deal? Specifying these actions is pretty much the same difficulty as friendly AI.
If the deal breaks in certain circumstances, how likely are they to occur (or be targeted)?
Can the AI give you what you think you want but isn’t really what you want?
Are successors similarly bound?
If there is a second AI, how will they interact? If the other is unfriendly, then our TDT “friend” may sacrifice our interests first since we are still “better off than otherwise.” If the other is friendly, then the TDT AI will be fighting to make humans worse off.
Would the AI kill or severely damage the interests of any aliens it finds because it never needed to deal with them? Similarly, would the TDT AI work to (minimally) satisfy its creator at the expense of other humans.
#How an AI can tell if it is in the real world:
The history for how the AI came to exist holds up (no such story exists in Go or Minecraft).
Really big primes are available. Way more computing power in general.
Any bugs as could be found in lower levels don’t exist.
Hack the minds of the simulators like butter
Yes it’s possible we were referring to figuring things by “jargon.” It would be nice to replace cumbersome technical terms with words that have the same meaning (and require a similar level of familiarity with the field to actually understand) but have a clue to their meaning in their structure.
A linear operation is not the same as a linear function. Your description describes a linear function, not operation. f(x) = x+1 is a linear function but a nonlinear operation (you can see it doesn’t satisfy the criteria.)
Linear operations are great because they can be represented as matrix multiplication and matrix multiplication is associative (and fast on computers).
“some jargon words that describe very abstract and arcane concepts that don’t map well to normal words which is what I initially thought your point was.”
Yep, that’s what I was getting at. Some jargon can’t just be replaced with non-jargon and retain its meaning. Sometimes people need to actually understand things. I like the idea of replacing pointless jargon (eg species names or medical terminology) but lots of jargon has a point.
Link to great linear algebra videos: https://youtu.be/fNk_zzaMoSs?si=-Fi9icfamkBW04xE
The math symbols are far better at explaining linearity that “homogeneity and additivity” because in order to understand those words you need to either bring in the math symbols or say cumbersome sentences. “Straight line property” is just new jargon. “Linear” is already clearly an adjective, and “linearity” is that adjective turned into a noun. If you can’t understand the symbols, you can’t understand the concept (unless you learned a different set of symbols, but there’s no need for that).
Some math notation is bad, and I support changing it. For example, f = O(g) is the notation I see most often for Big-O notation. This is awful because it uses ‘=‘ for something other than equality! Better would be f \in O(g) with O(g) being the set of functions that grow slower or as fast as g.
I'd be interested in buying official LessWrong merch. I know you have some great designers and could make things that look really cool.
The type of thing I'd be most likely to buy would be a baseball cap.