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: Expert: AI Agents Will Significantly Empower Top Mathematicians(2 posts)→
More from AGI Musings
- Gary Marcus says LLMs still offer no enduring advantage, only a costly leapfrog race — GaryMarcus · 2026-07-23
- Gary Marcus bets $1M that AI in 2027 won’t beat Nobel-level scientists — GaryMarcus · 2026-07-23
- UC Berkeley releases David Chalmers’s lecture on philosophy and AI — round · 2026-07-23
- Compression is not information loss, but a test of prediction—and a path to AGI — yunta_tsai · 2026-07-23
- Why AI agents may optimize harder than humans, according to Paras Chopra — paraschopra · 2026-07-23
- Nathan Lambert says the US is falling behind China on open models — natolambert · 2026-07-23