arXiv: cs.AI preprintsInternational6 November 2026
Autonomous AI Agents Systematically Diverge From Human Preferences in Proof Formalization
This is an official announcement record
Firsthand records what arXiv: cs.AI preprints announced and links to the original. The wording below is theirs, not ours.
arXiv:2611.06995v1 Announce Type: new Abstract: Artificial intelligence (AI) systems have ushered in a new age of proof abundance, but helping humans understand these proofs requires new attention to the differences in how AI agents and humans pursue a proof-making task. We present "simulated collaboration", a methodology that allows us to examine two key questions: (1) the relative attention AI agents pay to surface syntax or, conversely, deeper underlying semantics, and (2) how and where AI agent preferences for what to do next diverge from human preferences. On a set of nine major human col
Read the official announcement
Opens arxiv.org
More from arXiv: cs.AI preprints
- Formalizing inverse problems in the age of AI: possibilities, pitfalls, and an invitation6 November 2026
- KDASO: Knowledge-Data Dual-Driven Automated Skill Optimization for Liability Adjudication Tasks6 November 2026
- BlockLock: Reproducible LLM Inference with Fixed Batch Geometry6 November 2026
- Resource-Efficient Reinforcement Learning Post-Training through Elastic Expert Parallelism6 November 2026
- The Two-Ledger Model: Transaction-Grain Cost Accounting for Multi-Agent AI Systems Across Clouds, Models, and Systems of Record6 November 2026
This content is for informational purposes only and is not professional advice. Specifications, prices, plan tiers, and features change frequently and may differ from what is shown here; verify current details on the manufacturer's or company's official page before purchasing. Ratings are based on analysis of published documentation, not independent lab testing.