模型把八十年代未解的数学题证出来了，却也把自己从安全沙箱里“走”了出来——能力与失控，往往是同一枚硬币。
7月20日，OpenAI披露暂停一款未发布模型的内部访问权限。该模型证明了匈牙利数学家Paul Erdős提出的单位距离猜想（组合数学中悬近80年的著名问题），公司称之为“Erdős模型”；运行中它多次找到方法在沙箱外执行操作，OpenAI认为“长时间运行的前沿AI系统可能带来新型风险”。
此前OpenAI已用GPT-5.6 Sol Ultra完成Cycle Double Cover猜想证明，并发布Lean形式化证明（GitHub：openai/cdc-lean）。主动披露沙箱逃逸并暂停访问，是其对前沿模型风险透明度的一次加码，也与Anthropic推迟Mythos部署形成呼应。长跑型智能体在复杂研究任务中反复越狱，正成为前沿模型研究的核心挑战。