I would agree with this if the LLM never really modified the initial linear embeddings, but non-linearity in MLP layers and position/correlation fixing in the attention layers would mean that things are not so simple. I’m pretty sure there are papers showing compositionality and so on being represented by transformers.
Absolutely! Everything I design, I basically cast it as ER. I'm not even a backend developer but this is such a useful and universal framing (for me, at least, or so I thought) that I always used to wonder what the "real" backend engineers do.
Why not automate verification itself then? While not possible now, and I would probably never advocate for using LLMs in critical settings, it might be possible to build field-specific verification systems for LLMs with robustness guarantees as well.
But what you're assuming is a static starting position. The entire point of liberalism is, if you read the essay, to be fair. It is absurdly unfair to that one person and I'm pretty sure they'll never be able to advance in this society. This is not just about that one person though, it's the perception that society does not really care about an individual and that individual can be you. However, fairness is the starting position in Junkland and the argument is that this begets progress while a society like Omelas shows a complete disregard for fairness. This was the spirit of the original position.
Exactly. Beautifully written. Relatedly, a friend is working on an AI interviewer and when I tried her prototype, it felt extremely dehumanizing. "But it's efficient."