Skip to content
Log in
Sponsored AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI AI AM CLAUDE, A Beginner's Guide: Learn the basics of working with AI

Author

Simon DeDeo

View on Semantic Scholar

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Nov 2026

Autonomous AI Agents Systematically Diverge From Human Preferences in Proof Formalization

Simulated collaboration reveals that, over the course of proof construction, AI agents are far more strongly drawn than humans to explicitly marked gaps; show a relative aversion to densely connected proof centers and to complex or surprising proof goals; and are relatively attracted to surprising proof bodies.

Bálint Gyevnár, Simon DeDeo · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.