One strong mathematician with an AI agent beats bigger teams of non-mathematicians
AlexKontorovich · x · 2026-07-23
- A mathematician argues that one competent mathematician paired with one AI agent has a major advantage over both a similarly skilled mathematician without AI and even a larger team of smart non-mathematicians with unlimited API access.
- The key is repeated small human interventions—correcting the agent whenever it drifts off course and nudging it toward the right next step.
- The claim is that, for now, human mathematical intuition remains the rate limiter: AIs are improving fast, but they still need a knowledgeable human in the loop for both lean formalization and research.
Related event: AI's Impact on Math Research Sparks Field-Wide Paradigm Shift(11 posts)→
More from AGI Musings
- Instinct launches agent-to-agent protocol to coordinate your plans, sparking 'friction is the point' backlash — itsOmSarraf_ · 2026-09-11
- We are witnessing the unreasonable effectiveness of inference-time scaling — sqcai · 2026-09-11
- Accelerationist fires back at AI doomers: beliefs aren't arguments — Dan_Jeffries1 · 2026-09-11
- "ChatGPT 6 Makes Workers with IQ Below 130 Useless": French AI Debate Sparks Backlash — mitchdeg · 2026-09-11
- 'AGI is here' vs reality: AI labs still ship some of the jankiest desktop apps ever — MilesCranmer · 2026-09-11
- Harry Collins: LLMs can't do frontier science because they can't invent new language — whoamisri · 2026-09-11