# 自主人工智能代理在证明形式化方面系统地偏离人类偏好

> 全文为英语

**Published:** 2026年11月6日
**Author:** B\'alint Gyevn\'ar, Simon DeDeo
**Source:** arXiv — cs.AI
**Language:** en-US
**HTML:** https://aiqazaqstan.com/zh/articles/autonomous-ai-agents-systematically-diverge-from-human-preferences-in-pr

arXiv:2611.06995v1 公告类型：新 摘要：人工智能 (AI) 系统迎来了证明丰富的新时代，但帮助人类理解这些证明需要重新关注人工智能代理和人类执行证明任务的差异。我们…

> 内容来自原始来源： **arXiv — cs.AI**
> [在 arXiv — cs.AI 阅读全文](https://arxiv.org/abs/2611.06995)

**标签：** #arXiv

---

*AI Qazaqstan — non-commercial informational portal about AI in Kazakhstan. Machine translations and summaries are AI-generated.*