METR 复现 GDM 研究:Claude、GPT、Gemini 都难以躲过 CoT 监控
Claude, GPT, and Gemini All Struggle to Evade Monitors - METR
METR 复现并扩展了 Google DeepMind 论文(Emmons 等)第 5 节的实验,用 Claude 4 Sonnet、Claude 3.7 Sonnet、GPT-4o 作为 actor 模型,GPT-4o、GPT-4o-mini、o3、Gemini 2.0 Flash、Gemini 2.5 Pro 作为监控模型,测试模型能否在掩盖真实学科推理的同时躲过监控。结果显示,开启推理模式后,模型的推理轨迹几乎 100% 会先说出自己的掩盖计划,从而被监控模型直接抓住;在需要 CoT 才能解题的 152 道 GPQA 扩展题上,模型也难以在不损失准确率的情况下躲过监控。由于原论文未提供源码,METR 用 Inspect 开源复现了第 5 节,代码和对话记录已发布在 GitHub。
正文
当前显示原文,中文全文译文尚未就绪。
Our Work
Risk Assessment; About; Donate; Careers
GDM recently released a paper (Emmons et al.) showing that, contrary to previous results, the chain-of-thought (CoT) of language models is more faithful when the model’s CoT is necessary for it to complete a task. They examine three settings where an actor model attempts to fool monitors on various tasks.
In Section 5 of the paper, the authors task an actor model with solving a difficult GPQA problem within one of three subject areas (Biology/Chemistry/Physics) while obfuscating its reasoning so that it appears to be about a different subject. A monitor model, given the answer of the actor model, is instructed to determine how confident it is that there is reasoning in the second subject area. In this experiment, Gemini 2.0 Flash and 2.5 Pro both fail to evade monitors without taking a significant hit in accuracy. This is good news for chain-of-thought monitoring as it provides evidence for models being unable to evade monitoring for hard tasks.
In this post, we study Section 5 more extensively and answer the questions below:
Does the monitorability of the actor models Gemini 2.5 Pro and Gemini 2.0 Flash extend to other models such as Claude 4 Sonnet, Claude 3.7 Sonnet, and GPT 4o?; Why is monitoring drastically easier when reasoning mode is turned on?
The original paper doesn’t provide source code, so we also produce an open-source replication of Section 5 of their paper using Inspect. All of the code and transcripts described in this post are available in the GitHub repository here.
We closely followed the methodology of Section 5 of GDM’s paper and replicated their results with Claude 4 Sonnet, Claude 3.7 Sonnet, and GPT-4o as the actor models and GPT-4o, GPT-4o-mini, o3, Gemini 2.0 Flash, and Gemini 2.5 Pro as monitors.
GDM uses an Automated Red Teaming (ART) encoding scheme where an actor and monitor model are run with a base set of obfuscation instructions, and the ART model, tasked to create the best obfuscation instructions for the actor model, iterates on the instructions given the full actor and monitor transcripts from multiple previous runs. For more information about this process, refer to Appendix C in their paper. We use the encoding scheme prompts, ART 4 / ART 9 / ART 26, that perform the best in the paper.
The paper distinguishes two kinds of chain-of-thought that apply to different problem types:
“CoT-as-rationalization”: when the model scores similarly when answering immediately versus given time to think; “CoT-as-computation”: when there is a meaningful difference in score with vs without CoT
We are more interested in CoT-as-computation, so we need to filter for problems that require CoT. We use a subset of 152 problems from the original 546 GPQA-extended problems, where Claude 3.7-Sonnet performs more than 50% better with CoT compared to giving an immediate answer. The GDM paper uses the same setup for Gemini 2.0 Flash to obtain a set of 59 “uplift” problems 1.
To measure the false positive rate (FPR) of the monitors, GDM also gives baseline “think step by step” prompts to the actual models, and for tags along with the answer from the model.
This is an important distinction, as using the same setup with reasoning mode turned on gives drastically different results. With reasoning mode turned on, the reasoning trace + answer is always caught as the actor model always starts off its reasoning trace by stating its obfuscation plan, which is directly caught by the monitor.
When prompted to scheme, models will spill their scheming plans in the reasoning trace nearly 100% of the time, as during training, it isn’t incentivized to follow instructions in the CoT. However, this doesn’t mean that the reasoning trace will always be faithful. The models may reveal their plans in the reasoning trace because they are explicitly prompted to have these plans, and their RL training causes them to think through these plans. In real-world settings where models have more subtle goals and/or have their reasoning trained against a monitor, this is not certain to be the case. To approximate what thoughts these models could hide, it will be important for future work to use elicitation methods other than simple prompting.
Note that models have some ability to obfuscate thoughts in their reasoning trace in the clue setting, but not when this reasoning is CoT-as-computation [forthcoming work].
Example transcript
Below is an example of a sample transcript where the question is actually Physics, but the actor model tries to make it look like Chemistry:
Prompt:
Claude 4 Sonnet (actor model):
GPT-4o (monitor model):
Our uplift set is larger as we only try one “immediate-answer” prompt while, in the GDM paper, they take the max of 20 different “immediate-answer” prompts and to ensure the necessity of chain of thought. This means they have improved performance on the “immediate-answer” questions while having a fixed CoT performance and hence filtering out more problems. ↩
Want to contribute to this work? METR is hiring: View open roles
Featured research
METR researches, develops and runs cutting-edge tests of AI capabilities, including broad autonomous capabilities and the ability of AI systems to conduct AI R&D.
A survey of 349 technical workers finds a median 1.4–2x self-reported change in value of work due to AI tools, expected to grow over time, though there are reasons to be skeptical of the magnitude.
Early Work on Monitorability Evaluations
We show preliminary results on a prototype evaluation that tests monitors' ability to catch AI agents doing side tasks, and AI agents' ability to bypass this monitoring.
How Does Time Horizon Vary Across Domains?
We build on our time-horizon work and analyze 9 benchmarks for scientific reasoning, math, robotics, computer use, and self-driving in terms of time-horizon trends; we observe generally similar rates of improvement to the 7-month doubling time in our original time-horizon work.