answer is somewhat complicated and I'm not sure 'know' is quite the right bar
contractor verification is a properly hard problem for boring bureaucratic reasons; it's very hard to know that someone is who they say they are, and it's very hard to guarantee that you'll extract the value you're asking for at scale ('scalable oversight' is actually a good model for intuitions here). I have:
1. Been part of surveys for services like the above
2. Been a low-level contractor at various mid-sized startups (incl. OAI in 2020)
3. Managed a team of hundreds of contractors doing tens of thousands of tasks per month (it was really just me and one other person watching them)
4. Thought quite a lot about designing better systems for this (very hard!!!)
5. Noted the lack of especially-convincing client-facing documentation / transparency from e.g. Prolific
The kinds of guarantees I would want here are like "We ourselves verify the identities of contractors to make sure they're who they say they are. We ourselves include comprehension-testing questions that are formulated to be difficult to cheat alongside every exit survey. etc etc"
Most services they might pay to do things like this are Bad (but they're B2B and mostly provide a certification/assurance to the end-user, so the companies themselves are not incentivized to make sure they're good).
Feel free to ask more questions; it's kind of late and I'm tired; this is the quick-babble version.
EDIT: they're not useless. They're just worse than we all wish they'd be. To the best of my knowledge, this was a major motivator for Palisade in putting together their own message testing pipeline (an experience which hasn't been written about yet because uh... I haven't gotten to it)
Fwiw I don’t take Prolific and similar services to be especially reliable ways to get information about this sort of thing. It’s true that they’re among the best low-medium effort ways to get this information, but the hypothetical at the top of this post implies that they’re 1:1 with natural settings, which is false.
Thanks as always to Zac for continuing to engage on things like this.
Tiny nit for my employer: should probably read “including some* MIRI employees”
like any org, MIRI is made up of people that have significant disagreements with one another on a wide variety of important matters.
More than once I’ve had it repeated to me that ‘MIRI endorses y’, and tracked the root of the claim to a lack of this kind of qualifier. I know you mean the soft version and don’t take you to be over-claiming; unfortunately, experience has shown it’s worth clarifying, even though for most claims in most contexts I’d take your framing to be sufficiently clear.
I'm struck by how many of your cruxes seem like things that it would actually just be in the hands of the international governing body to control. My guess is, if DARPA has a team of safety researchers, and they go to the international body, and they're like 'we're blocked by this set of experiments* that takes a large amount of compute; can we please have more compute?', and then the international body gets some panel of independent researchers to confirm that this is true, and the only solution is more compute for that particular group of researchers, they commission a datacenter or something so that the research can continue.
Like, it seems obviously true to me that people (especially in government/military) will continue working on the problem at all, and that access to larger amounts of resources for doing that work is a matter of petitioning the body. It feels like your plan is built around facilitating this kind of carveout, and the MIRI plan is built around treating it as the exception that it is (and prioritizing gaining some centralized control over AI as a field over guaranteeing to-me-implausible rapid progress toward the best possible outcomes).
*which maybe is 'building automated alignment researchers', but better specified and less terrifying
AIs with reliable 1-month time horizons will basically not be time-horizon-limited in any way that humans aren't
In this statement, are you thinking about time horizons as operationalized / investigated in the METR paper, or are you thinking about the True Time Horizon?
A group of researchers has released the Longitudinal Expert AI Panel, soliciting and collating forecasts regarding AI progress, adoption, and regulation from a large pool of both experts and non-experts.
Didn’t disagree vote myself, but I think there’s a linguistic pattern of ‘just asking questions’ that is used to signal disagreement while also evading interrogation yourself. At first glance, your comment may be reading that way to others, who then hastily smash the disagree button to signal disagreement with the position they think you’re implying (even though you were really genuinely just asking questions).
I see this happen a lot, where folks mismodel someone’s epistemic state or tacking when, really, the person is just confused and trying to explicate the conditions of their confusion. In the broader world, claiming to be confused about something is a common tactic for trying to covertly convince someone of your position.
Duncan Sabien once ran the inverse experiment. He made a separate account to see how his posts would do without his reputation. The account only has one post still up, but iirc there used to be many more (tens). They performed similarly well to posts under his own name. Cool idea!
[plausibly I'm getting parts of the story wrong and someone who was around then will correct me]
I think that I’d do this math by net QUALYs and not net deaths. My guess is doing it that way may actually change your result.
I’m not trying to avoid dying; I’m trying to steer toward living.
Do you think rationalists use 'insane' and 'crazy' more than the general population, and/or in a different way than the general population? (e.g. definition 3 when you google 'insane definition')